Use png instead of gif.

diff --git a/texi/herds/gnus-herd-bw.gif b/texi/herds/gnus-herd-bw.gif
deleted file mode 100644 (file)
index 6d965e0..0000000
Binary files a/texi/herds/gnus-herd-bw.gif and /dev/null differ

diff --git a/texi/herds/gnus-herd-bw.png b/texi/herds/gnus-herd-bw.png
new file mode 100644 (file)
index 0000000..8ed5904
Binary files /dev/null and b/texi/herds/gnus-herd-bw.png differ

diff --git a/texi/herds/gnus-herd-new.gif b/texi/herds/gnus-herd-new.gif
deleted file mode 100644 (file)
index 18314b6..0000000
Binary files a/texi/herds/gnus-herd-new.gif and /dev/null differ

diff --git a/texi/herds/gnus-herd-new.png b/texi/herds/gnus-herd-new.png
new file mode 100644 (file)
index 0000000..b0dacd1
Binary files /dev/null and b/texi/herds/gnus-herd-new.png differ

diff --git a/texi/herds/new-herd-1.gif b/texi/herds/new-herd-1.gif
deleted file mode 100644 (file)
index b68815b..0000000
Binary files a/texi/herds/new-herd-1.gif and /dev/null differ

diff --git a/texi/herds/new-herd-1.png b/texi/herds/new-herd-1.png
new file mode 100644 (file)
index 0000000..775d493
Binary files /dev/null and b/texi/herds/new-herd-1.png differ

diff --git a/texi/herds/new-herd-10.gif b/texi/herds/new-herd-10.gif
deleted file mode 100644 (file)
index fc67fd6..0000000
Binary files a/texi/herds/new-herd-10.gif and /dev/null differ

diff --git a/texi/herds/new-herd-10.png b/texi/herds/new-herd-10.png
new file mode 100644 (file)
index 0000000..dc26eb4
Binary files /dev/null and b/texi/herds/new-herd-10.png differ

diff --git a/texi/herds/new-herd-2.gif b/texi/herds/new-herd-2.gif
deleted file mode 100644 (file)
index 525f0e8..0000000
Binary files a/texi/herds/new-herd-2.gif and /dev/null differ

diff --git a/texi/herds/new-herd-2.png b/texi/herds/new-herd-2.png
new file mode 100644 (file)
index 0000000..19b2fbc
Binary files /dev/null and b/texi/herds/new-herd-2.png differ

diff --git a/texi/herds/new-herd-3.gif b/texi/herds/new-herd-3.gif
deleted file mode 100644 (file)
index 696a41e..0000000
Binary files a/texi/herds/new-herd-3.gif and /dev/null differ

diff --git a/texi/herds/new-herd-3.png b/texi/herds/new-herd-3.png
new file mode 100644 (file)
index 0000000..1d36d23
Binary files /dev/null and b/texi/herds/new-herd-3.png differ

diff --git a/texi/herds/new-herd-4.gif b/texi/herds/new-herd-4.gif
deleted file mode 100644 (file)
index 02e5775..0000000
Binary files a/texi/herds/new-herd-4.gif and /dev/null differ

diff --git a/texi/herds/new-herd-4.png b/texi/herds/new-herd-4.png
new file mode 100644 (file)
index 0000000..23ccb23
Binary files /dev/null and b/texi/herds/new-herd-4.png differ

diff --git a/texi/herds/new-herd-5.gif b/texi/herds/new-herd-5.gif
deleted file mode 100644 (file)
index 8e065a2..0000000
Binary files a/texi/herds/new-herd-5.gif and /dev/null differ

diff --git a/texi/herds/new-herd-5.png b/texi/herds/new-herd-5.png
new file mode 100644 (file)
index 0000000..aa85f31
Binary files /dev/null and b/texi/herds/new-herd-5.png differ

diff --git a/texi/herds/new-herd-6.gif b/texi/herds/new-herd-6.gif
deleted file mode 100644 (file)
index 4f13195..0000000
Binary files a/texi/herds/new-herd-6.gif and /dev/null differ

diff --git a/texi/herds/new-herd-6.png b/texi/herds/new-herd-6.png
new file mode 100644 (file)
index 0000000..df103ed
Binary files /dev/null and b/texi/herds/new-herd-6.png differ

diff --git a/texi/herds/new-herd-7.gif b/texi/herds/new-herd-7.gif
deleted file mode 100644 (file)
index 44d43f1..0000000
Binary files a/texi/herds/new-herd-7.gif and /dev/null differ

diff --git a/texi/herds/new-herd-7.png b/texi/herds/new-herd-7.png
new file mode 100644 (file)
index 0000000..c5e29a7
Binary files /dev/null and b/texi/herds/new-herd-7.png differ

diff --git a/texi/herds/new-herd-8.gif b/texi/herds/new-herd-8.gif
deleted file mode 100644 (file)
index b87a90d..0000000
Binary files a/texi/herds/new-herd-8.gif and /dev/null differ

diff --git a/texi/herds/new-herd-8.png b/texi/herds/new-herd-8.png
new file mode 100644 (file)
index 0000000..94dea5a
Binary files /dev/null and b/texi/herds/new-herd-8.png differ

diff --git a/texi/herds/new-herd-9.gif b/texi/herds/new-herd-9.gif
deleted file mode 100644 (file)
index fc67fd6..0000000
Binary files a/texi/herds/new-herd-9.gif and /dev/null differ

diff --git a/texi/herds/new-herd-9.png b/texi/herds/new-herd-9.png
new file mode 100644 (file)
index 0000000..dc26eb4
Binary files /dev/null and b/texi/herds/new-herd-9.png differ

diff --git a/texi/herds/new-herd-section.gif b/texi/herds/new-herd-section.gif
deleted file mode 100644 (file)
index e5f0e7e..0000000
Binary files a/texi/herds/new-herd-section.gif and /dev/null differ

diff --git a/texi/herds/new-herd-section.png b/texi/herds/new-herd-section.png
new file mode 100644 (file)
index 0000000..662a982
Binary files /dev/null and b/texi/herds/new-herd-section.png differ

diff --git a/texi/herds/new-herd.gif b/texi/herds/new-herd.gif
deleted file mode 100644 (file)
index 04f93d5..0000000
Binary files a/texi/herds/new-herd.gif and /dev/null differ

diff --git a/texi/herds/new-herd.png b/texi/herds/new-herd.png
new file mode 100644 (file)
index 0000000..c021e9b
Binary files /dev/null and b/texi/herds/new-herd.png differ

diff --git a/texi/herds/new-herd2.gif b/texi/herds/new-herd2.gif
deleted file mode 100644 (file)
index e06771f..0000000
Binary files a/texi/herds/new-herd2.gif and /dev/null differ

diff --git a/texi/herds/new-herd2.png b/texi/herds/new-herd2.png
new file mode 100644 (file)
index 0000000..6e1a8fd
Binary files /dev/null and b/texi/herds/new-herd2.png differ

diff --git a/texi/misc/larsi.gif b/texi/misc/larsi.gif
deleted file mode 100644 (file)
index c81e049..0000000
Binary files a/texi/misc/larsi.gif and /dev/null differ

diff --git a/texi/misc/larsi.png b/texi/misc/larsi.png
new file mode 100644 (file)
index 0000000..d8b5b27
Binary files /dev/null and b/texi/misc/larsi.png differ

diff --git a/texi/misc/red.gif b/texi/misc/red.gif
deleted file mode 100644 (file)
index 41d364a..0000000
Binary files a/texi/misc/red.gif and /dev/null differ

diff --git a/texi/misc/red.png b/texi/misc/red.png
new file mode 100644 (file)
index 0000000..e646e00
Binary files /dev/null and b/texi/misc/red.png differ

diff --git a/texi/misc/september.gif b/texi/misc/september.gif
deleted file mode 100644 (file)
index 38f6123..0000000
Binary files a/texi/misc/september.gif and /dev/null differ

diff --git a/texi/misc/september.png b/texi/misc/september.png
new file mode 100644 (file)
index 0000000..1e5539e
Binary files /dev/null and b/texi/misc/september.png differ

diff --git a/texi/picons/att.gif b/texi/picons/att.gif
deleted file mode 100644 (file)
index 02608d5..0000000
Binary files a/texi/picons/att.gif and /dev/null differ

diff --git a/texi/picons/att.png b/texi/picons/att.png
new file mode 100644 (file)
index 0000000..f0473ee
Binary files /dev/null and b/texi/picons/att.png differ

diff --git a/texi/picons/berkeley.gif b/texi/picons/berkeley.gif
deleted file mode 100644 (file)
index babf278..0000000
Binary files a/texi/picons/berkeley.gif and /dev/null differ

diff --git a/texi/picons/berkeley.png b/texi/picons/berkeley.png
new file mode 100644 (file)
index 0000000..e22efcb
Binary files /dev/null and b/texi/picons/berkeley.png differ

diff --git a/texi/picons/caltech.gif b/texi/picons/caltech.gif
deleted file mode 100644 (file)
index 92f8f5f..0000000
Binary files a/texi/picons/caltech.gif and /dev/null differ

diff --git a/texi/picons/caltech.png b/texi/picons/caltech.png
new file mode 100644 (file)
index 0000000..68ae3e9
Binary files /dev/null and b/texi/picons/caltech.png differ

diff --git a/texi/picons/canada.gif b/texi/picons/canada.gif
deleted file mode 100644 (file)
index f3e4f40..0000000
Binary files a/texi/picons/canada.gif and /dev/null differ

diff --git a/texi/picons/canada.png b/texi/picons/canada.png
new file mode 100644 (file)
index 0000000..2c747a8
Binary files /dev/null and b/texi/picons/canada.png differ

diff --git a/texi/picons/cr.gif b/texi/picons/cr.gif
deleted file mode 100644 (file)
index 0f4ded0..0000000
Binary files a/texi/picons/cr.gif and /dev/null differ

diff --git a/texi/picons/cr.png b/texi/picons/cr.png
new file mode 100644 (file)
index 0000000..d53d2db
Binary files /dev/null and b/texi/picons/cr.png differ

diff --git a/texi/picons/laurie.gif b/texi/picons/laurie.gif
deleted file mode 100644 (file)
index 2a1578a..0000000
Binary files a/texi/picons/laurie.gif and /dev/null differ

diff --git a/texi/picons/laurie.png b/texi/picons/laurie.png
new file mode 100644 (file)
index 0000000..0793f9a
Binary files /dev/null and b/texi/picons/laurie.png differ

diff --git a/texi/picons/mit.gif b/texi/picons/mit.gif
deleted file mode 100644 (file)
index 9750799..0000000
Binary files a/texi/picons/mit.gif and /dev/null differ

diff --git a/texi/picons/mit.png b/texi/picons/mit.png
new file mode 100644 (file)
index 0000000..e297591
Binary files /dev/null and b/texi/picons/mit.png differ

diff --git a/texi/picons/nasa.gif b/texi/picons/nasa.gif
deleted file mode 100644 (file)
index bd7ff87..0000000
Binary files a/texi/picons/nasa.gif and /dev/null differ

diff --git a/texi/picons/nasa.png b/texi/picons/nasa.png
new file mode 100644 (file)
index 0000000..1679857
Binary files /dev/null and b/texi/picons/nasa.png differ

diff --git a/texi/picons/rms.gif b/texi/picons/rms.gif
deleted file mode 100644 (file)
index ce04d55..0000000
Binary files a/texi/picons/rms.gif and /dev/null differ

diff --git a/texi/picons/rms.png b/texi/picons/rms.png
new file mode 100644 (file)
index 0000000..10dfc25
Binary files /dev/null and b/texi/picons/rms.png differ

diff --git a/texi/picons/stanford.gif b/texi/picons/stanford.gif
deleted file mode 100644 (file)
index 16a98e8..0000000
Binary files a/texi/picons/stanford.gif and /dev/null differ

diff --git a/texi/picons/stanford.png b/texi/picons/stanford.png
new file mode 100644 (file)
index 0000000..b3f5dec
Binary files /dev/null and b/texi/picons/stanford.png differ

diff --git a/texi/picons/sun.gif b/texi/picons/sun.gif
deleted file mode 100644 (file)
index 0af3acf..0000000
Binary files a/texi/picons/sun.gif and /dev/null differ

diff --git a/texi/picons/sun.png b/texi/picons/sun.png
new file mode 100644 (file)
index 0000000..f010f16
Binary files /dev/null and b/texi/picons/sun.png differ

diff --git a/texi/picons/ufl.gif b/texi/picons/ufl.gif
deleted file mode 100644 (file)
index 8ca92af..0000000
Binary files a/texi/picons/ufl.gif and /dev/null differ

diff --git a/texi/picons/ufl.png b/texi/picons/ufl.png
new file mode 100644 (file)
index 0000000..9521710
Binary files /dev/null and b/texi/picons/ufl.png differ

diff --git a/texi/picons/uio.gif b/texi/picons/uio.gif
deleted file mode 100644 (file)
index 8a771a5..0000000
Binary files a/texi/picons/uio.gif and /dev/null differ

diff --git a/texi/picons/uio.png b/texi/picons/uio.png
new file mode 100644 (file)
index 0000000..66ff8b0
Binary files /dev/null and b/texi/picons/uio.png differ

diff --git a/texi/picons/unit.gif b/texi/picons/unit.gif
deleted file mode 100644 (file)
index 7e4efe2..0000000
Binary files a/texi/picons/unit.gif and /dev/null differ

diff --git a/texi/picons/unit.png b/texi/picons/unit.png
new file mode 100644 (file)
index 0000000..1dea18d
Binary files /dev/null and b/texi/picons/unit.png differ

diff --git a/texi/ps/Makefile.in b/texi/ps/Makefile.in
index 7aa6e56..e41dabe 100644 (file)
--- a/texi/ps/Makefile.in
+++ b/texi/ps/Makefile.in
@@ -148,23 +148,23 @@ distclean: clean
 
 install:
 
-new-herd-section.ps: $(srcdir)/../herds/new-herd-section.gif $(srcdir)/../herds/convol11.pnm
-       giftopnm $< | pnmscale 4 | pnmconvol $(srcdir)/../herds/convol11.pnm |\
+new-herd-section.ps: $(srcdir)/../herds/new-herd-section.png $(srcdir)/../herds/convol11.pnm
+       pngtopnm $< | pnmscale 4 | pnmconvol $(srcdir)/../herds/convol11.pnm |\
        ppmtopgm | pnmdepth 255 | \
        pnmtops -noturn -width 100 -height 100 > $@ || rm -f $@
 
-%.ps: $(srcdir)/../herds/%.gif $(srcdir)/../herds/convol5.pnm
-       giftopnm $< | pnmcrop -white | pnmmargin -white 9 | pnmscale 2 | \
+%.ps: $(srcdir)/../herds/%.png $(srcdir)/../herds/convol5.pnm
+       pngtopnm $< | pnmcrop -white | pnmmargin -white 9 | pnmscale 2 | \
        pnmconvol $(srcdir)/../herds/convol5.pnm  | ppmtopgm | \
        pnmdepth 255 | pnmtops -width 100 -height 100 -noturn > $@ || rm -f $@
 
 
-%.ps: $(srcdir)/../screen/%.gif
-       giftopnm $< | pnmmargin -black 1 | ppmtopgm | \
+%.ps: $(srcdir)/../screen/%.png
+       pngtopnm $< | pnmmargin -black 1 | ppmtopgm | \
        pnmtops -width 100 -height 100 -noturn > $@ || rm -f $@
 
-larsi.ps: $(srcdir)/../misc/larsi.gif
-       giftopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
+larsi.ps: $(srcdir)/../misc/larsi.png
+       pngtopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
 
 september.ps: $(srcdir)/../misc/eseptember.tif
        tifftopnm $< | pnmscale 4 | ppmtopgm | \
@@ -185,11 +185,11 @@ red.ps: $(srcdir)/../misc/ered.tif
 picons-%.ps: $(srcdir)/../picons/%.xbm
        xbmtopbm $< | pnmtops -noturn > $@ || rm -f $@
 
-picons-%.ps: $(srcdir)/../picons/%.gif
-       giftopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
+picons-%.ps: $(srcdir)/../picons/%.png
+       pngtopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
 
-xface-%.ps: $(srcdir)/../xface/%.gif
-       giftopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
+xface-%.ps: $(srcdir)/../xface/%.png
+       pngtopnm $< | ppmtopgm | pnmtops -noturn > $@ || rm -f $@
 
 %.ps: $(srcdir)/../smilies/%.tif
        tifftopnm $< | ppmtopgm | pnmtops > $@ || rm -f $@

diff --git a/texi/screen/group-topic.gif b/texi/screen/group-topic.gif
deleted file mode 100644 (file)
index 2414969..0000000
Binary files a/texi/screen/group-topic.gif and /dev/null differ

diff --git a/texi/screen/group-topic.png b/texi/screen/group-topic.png
new file mode 100644 (file)
index 0000000..6f4ad01
Binary files /dev/null and b/texi/screen/group-topic.png differ

diff --git a/texi/screen/group.gif b/texi/screen/group.gif
deleted file mode 100644 (file)
index f6aaa1b..0000000
Binary files a/texi/screen/group.gif and /dev/null differ

diff --git a/texi/screen/group.png b/texi/screen/group.png
new file mode 100644 (file)
index 0000000..4b4620f
Binary files /dev/null and b/texi/screen/group.png differ

diff --git a/texi/screen/server.gif b/texi/screen/server.gif
deleted file mode 100644 (file)
index 986439e..0000000
Binary files a/texi/screen/server.gif and /dev/null differ

diff --git a/texi/screen/server.png b/texi/screen/server.png
new file mode 100644 (file)
index 0000000..67f2bd4
Binary files /dev/null and b/texi/screen/server.png differ

diff --git a/texi/screen/summary-adopt.gif b/texi/screen/summary-adopt.gif
deleted file mode 100644 (file)
index 075d113..0000000
Binary files a/texi/screen/summary-adopt.gif and /dev/null differ

diff --git a/texi/screen/summary-adopt.png b/texi/screen/summary-adopt.png
new file mode 100644 (file)
index 0000000..54e508f
Binary files /dev/null and b/texi/screen/summary-adopt.png differ

diff --git a/texi/screen/summary-article-c-ug.gif b/texi/screen/summary-article-c-ug.gif
deleted file mode 100644 (file)
index a8bd1ac..0000000
Binary files a/texi/screen/summary-article-c-ug.gif and /dev/null differ

diff --git a/texi/screen/summary-article-c-ug.png b/texi/screen/summary-article-c-ug.png
new file mode 100644 (file)
index 0000000..8f224bf
Binary files /dev/null and b/texi/screen/summary-article-c-ug.png differ

diff --git a/texi/screen/summary-article.gif b/texi/screen/summary-article.gif
deleted file mode 100644 (file)
index 313b3fa..0000000
Binary files a/texi/screen/summary-article.gif and /dev/null differ

diff --git a/texi/screen/summary-article.png b/texi/screen/summary-article.png
new file mode 100644 (file)
index 0000000..d265dca
Binary files /dev/null and b/texi/screen/summary-article.png differ

diff --git a/texi/screen/summary-dummy.gif b/texi/screen/summary-dummy.gif
deleted file mode 100644 (file)
index 2e9d76f..0000000
Binary files a/texi/screen/summary-dummy.gif and /dev/null differ

diff --git a/texi/screen/summary-dummy.png b/texi/screen/summary-dummy.png
new file mode 100644 (file)
index 0000000..308f244
Binary files /dev/null and b/texi/screen/summary-dummy.png differ

diff --git a/texi/screen/summary-empty.gif b/texi/screen/summary-empty.gif
deleted file mode 100644 (file)
index b4991f2..0000000
Binary files a/texi/screen/summary-empty.gif and /dev/null differ

diff --git a/texi/screen/summary-empty.png b/texi/screen/summary-empty.png
new file mode 100644 (file)
index 0000000..2f2ec6a
Binary files /dev/null and b/texi/screen/summary-empty.png differ

diff --git a/texi/screen/summary-none.gif b/texi/screen/summary-none.gif
deleted file mode 100644 (file)
index ba1e398..0000000
Binary files a/texi/screen/summary-none.gif and /dev/null differ

diff --git a/texi/screen/summary-none.png b/texi/screen/summary-none.png
new file mode 100644 (file)
index 0000000..9f8f43e
Binary files /dev/null and b/texi/screen/summary-none.png differ

diff --git a/texi/screen/summary-unthreaded.gif b/texi/screen/summary-unthreaded.gif
deleted file mode 100644 (file)
index 45537c4..0000000
Binary files a/texi/screen/summary-unthreaded.gif and /dev/null differ

diff --git a/texi/screen/summary-unthreaded.png b/texi/screen/summary-unthreaded.png
new file mode 100644 (file)
index 0000000..2e5ddbb
Binary files /dev/null and b/texi/screen/summary-unthreaded.png differ

diff --git a/texi/screen/summary.gif b/texi/screen/summary.gif
deleted file mode 100644 (file)
index 9375ee5..0000000
Binary files a/texi/screen/summary.gif and /dev/null differ

diff --git a/texi/screen/summary.png b/texi/screen/summary.png
new file mode 100644 (file)
index 0000000..7cfcc0e
Binary files /dev/null and b/texi/screen/summary.png differ

diff --git a/texi/screen/xfig.SAVE b/texi/screen/xfig.SAVE
deleted file mode 100644 (file)
index f8d3d8a..0000000
--- a/texi/screen/xfig.SAVE
+++ /dev/null
@@ -1,8 +0,0 @@
-#FIG 3.1
-Landscape
-Center
-Inches
-1200 2
-2 5 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
-       0 group.gif
-        2175 1200 6750 1200 6750 6600 2175 6600 2175 1200

diff --git a/texi/xface/abrahamsen.gif b/texi/xface/abrahamsen.gif
deleted file mode 100644 (file)
index bf41d8d..0000000
Binary files a/texi/xface/abrahamsen.gif and /dev/null differ

diff --git a/texi/xface/abrahamsen.png b/texi/xface/abrahamsen.png
new file mode 100644 (file)
index 0000000..20a1206
Binary files /dev/null and b/texi/xface/abrahamsen.png differ

diff --git a/texi/xface/aichner.gif b/texi/xface/aichner.gif
deleted file mode 100644 (file)
index 53e5596..0000000
Binary files a/texi/xface/aichner.gif and /dev/null differ

diff --git a/texi/xface/aichner.png b/texi/xface/aichner.png
new file mode 100644 (file)
index 0000000..1636565
Binary files /dev/null and b/texi/xface/aichner.png differ

diff --git a/texi/xface/blanks.gif b/texi/xface/blanks.gif
deleted file mode 100644 (file)
index ad83633..0000000
Binary files a/texi/xface/blanks.gif and /dev/null differ

diff --git a/texi/xface/blanks.png b/texi/xface/blanks.png
new file mode 100644 (file)
index 0000000..0776a29
Binary files /dev/null and b/texi/xface/blanks.png differ

diff --git a/texi/xface/cosgriff.gif b/texi/xface/cosgriff.gif
deleted file mode 100644 (file)
index cd529f8..0000000
Binary files a/texi/xface/cosgriff.gif and /dev/null differ

diff --git a/texi/xface/cosgriff.png b/texi/xface/cosgriff.png
new file mode 100644 (file)
index 0000000..59acc3f
Binary files /dev/null and b/texi/xface/cosgriff.png differ

diff --git a/texi/xface/drazen.gif b/texi/xface/drazen.gif
deleted file mode 100644 (file)
index 5c68a8f..0000000
Binary files a/texi/xface/drazen.gif and /dev/null differ

diff --git a/texi/xface/drazen.png b/texi/xface/drazen.png
new file mode 100644 (file)
index 0000000..dffeffe
Binary files /dev/null and b/texi/xface/drazen.png differ

diff --git a/texi/xface/gertzfield.gif b/texi/xface/gertzfield.gif
deleted file mode 100644 (file)
index 0dd0f00..0000000
Binary files a/texi/xface/gertzfield.gif and /dev/null differ

diff --git a/texi/xface/gertzfield.png b/texi/xface/gertzfield.png
new file mode 100644 (file)
index 0000000..576789e
Binary files /dev/null and b/texi/xface/gertzfield.png differ

diff --git a/texi/xface/goldberg.gif b/texi/xface/goldberg.gif
deleted file mode 100644 (file)
index 5cc39f7..0000000
Binary files a/texi/xface/goldberg.gif and /dev/null differ

diff --git a/texi/xface/goldberg.png b/texi/xface/goldberg.png
new file mode 100644 (file)
index 0000000..e2fe139
Binary files /dev/null and b/texi/xface/goldberg.png differ

diff --git a/texi/xface/graf.gif b/texi/xface/graf.gif
deleted file mode 100644 (file)
index 39df481..0000000
Binary files a/texi/xface/graf.gif and /dev/null differ

diff --git a/texi/xface/graf.png b/texi/xface/graf.png
new file mode 100644 (file)
index 0000000..d2e19d3
Binary files /dev/null and b/texi/xface/graf.png differ

diff --git a/texi/xface/hardaker.gif b/texi/xface/hardaker.gif
deleted file mode 100644 (file)
index cf9852f..0000000
Binary files a/texi/xface/hardaker.gif and /dev/null differ

diff --git a/texi/xface/hardaker.png b/texi/xface/hardaker.png
new file mode 100644 (file)
index 0000000..ac88bd8
Binary files /dev/null and b/texi/xface/hardaker.png differ

diff --git a/texi/xface/hedbor.gif b/texi/xface/hedbor.gif
deleted file mode 100644 (file)
index e330a6f..0000000
Binary files a/texi/xface/hedbor.gif and /dev/null differ

diff --git a/texi/xface/hedbor.png b/texi/xface/hedbor.png
new file mode 100644 (file)
index 0000000..5672039
Binary files /dev/null and b/texi/xface/hedbor.png differ

diff --git a/texi/xface/ingrand.gif b/texi/xface/ingrand.gif
deleted file mode 100644 (file)
index 5499d29..0000000
Binary files a/texi/xface/ingrand.gif and /dev/null differ

diff --git a/texi/xface/ingrand.png b/texi/xface/ingrand.png
new file mode 100644 (file)
index 0000000..2403259
Binary files /dev/null and b/texi/xface/ingrand.png differ

diff --git a/texi/xface/kaplan.gif b/texi/xface/kaplan.gif
deleted file mode 100644 (file)
index 85b8390..0000000
Binary files a/texi/xface/kaplan.gif and /dev/null differ

diff --git a/texi/xface/kaplan.png b/texi/xface/kaplan.png
new file mode 100644 (file)
index 0000000..106bb5e
Binary files /dev/null and b/texi/xface/kaplan.png differ

diff --git a/texi/xface/karlheg.gif b/texi/xface/karlheg.gif
deleted file mode 100644 (file)
index cf9e9a9..0000000
Binary files a/texi/xface/karlheg.gif and /dev/null differ

diff --git a/texi/xface/karlheg.png b/texi/xface/karlheg.png
new file mode 100644 (file)
index 0000000..022eb68
Binary files /dev/null and b/texi/xface/karlheg.png differ

diff --git a/texi/xface/kleinpaste.gif b/texi/xface/kleinpaste.gif
deleted file mode 100644 (file)
index aefd481..0000000
Binary files a/texi/xface/kleinpaste.gif and /dev/null differ

diff --git a/texi/xface/kleinpaste.png b/texi/xface/kleinpaste.png
new file mode 100644 (file)
index 0000000..e25e698
Binary files /dev/null and b/texi/xface/kleinpaste.png differ

diff --git a/texi/xface/kyle.gif b/texi/xface/kyle.gif
deleted file mode 100644 (file)
index 3626af8..0000000
Binary files a/texi/xface/kyle.gif and /dev/null differ

diff --git a/texi/xface/kyle.png b/texi/xface/kyle.png
new file mode 100644 (file)
index 0000000..7354ebc
Binary files /dev/null and b/texi/xface/kyle.png differ

diff --git a/texi/xface/love.gif b/texi/xface/love.gif
deleted file mode 100644 (file)
index 5fc7681..0000000
Binary files a/texi/xface/love.gif and /dev/null differ

diff --git a/texi/xface/love.png b/texi/xface/love.png
new file mode 100644 (file)
index 0000000..cc28c3b
Binary files /dev/null and b/texi/xface/love.png differ

diff --git a/texi/xface/moll.gif b/texi/xface/moll.gif
deleted file mode 100644 (file)
index 6092c60..0000000
Binary files a/texi/xface/moll.gif and /dev/null differ

diff --git a/texi/xface/moll.png b/texi/xface/moll.png
new file mode 100644 (file)
index 0000000..b50e97f
Binary files /dev/null and b/texi/xface/moll.png differ

diff --git a/texi/xface/niksic.gif b/texi/xface/niksic.gif
deleted file mode 100644 (file)
index a73c884..0000000
Binary files a/texi/xface/niksic.gif and /dev/null differ

diff --git a/texi/xface/niksic.png b/texi/xface/niksic.png
new file mode 100644 (file)
index 0000000..9e3839a
Binary files /dev/null and b/texi/xface/niksic.png differ

diff --git a/texi/xface/olsen.gif b/texi/xface/olsen.gif
deleted file mode 100644 (file)
index a7d489d..0000000
Binary files a/texi/xface/olsen.gif and /dev/null differ

diff --git a/texi/xface/olsen.png b/texi/xface/olsen.png
new file mode 100644 (file)
index 0000000..45df40e
Binary files /dev/null and b/texi/xface/olsen.png differ

diff --git a/texi/xface/patch.gif b/texi/xface/patch.gif
deleted file mode 100644 (file)
index 4fc6bdc..0000000
Binary files a/texi/xface/patch.gif and /dev/null differ

diff --git a/texi/xface/patch.png b/texi/xface/patch.png
new file mode 100644 (file)
index 0000000..33af321
Binary files /dev/null and b/texi/xface/patch.png differ

diff --git a/texi/xface/petersen.gif b/texi/xface/petersen.gif
deleted file mode 100644 (file)
index d0c7e2e..0000000
Binary files a/texi/xface/petersen.gif and /dev/null differ

diff --git a/texi/xface/petersen.png b/texi/xface/petersen.png
new file mode 100644 (file)
index 0000000..2a83017
Binary files /dev/null and b/texi/xface/petersen.png differ

diff --git a/texi/xface/pjf.gif b/texi/xface/pjf.gif
deleted file mode 100644 (file)
index 1fac6a5..0000000
Binary files a/texi/xface/pjf.gif and /dev/null differ

diff --git a/texi/xface/pjf.png b/texi/xface/pjf.png
new file mode 100644 (file)
index 0000000..e3d7f09
Binary files /dev/null and b/texi/xface/pjf.png differ

diff --git a/texi/xface/riocreux.gif b/texi/xface/riocreux.gif
deleted file mode 100644 (file)
index 9c8eacf..0000000
Binary files a/texi/xface/riocreux.gif and /dev/null differ

diff --git a/texi/xface/riocreux.png b/texi/xface/riocreux.png
new file mode 100644 (file)
index 0000000..fa4c915
Binary files /dev/null and b/texi/xface/riocreux.png differ

diff --git a/texi/xface/schauer.gif b/texi/xface/schauer.gif
deleted file mode 100644 (file)
index c412e36..0000000
Binary files a/texi/xface/schauer.gif and /dev/null differ

diff --git a/texi/xface/schauer.png b/texi/xface/schauer.png
new file mode 100644 (file)
index 0000000..a776767
Binary files /dev/null and b/texi/xface/schauer.png differ

diff --git a/texi/xface/simmonmt.gif b/texi/xface/simmonmt.gif
deleted file mode 100644 (file)
index e17fcf7..0000000
Binary files a/texi/xface/simmonmt.gif and /dev/null differ

diff --git a/texi/xface/simmonmt.png b/texi/xface/simmonmt.png
new file mode 100644 (file)
index 0000000..b3df919
Binary files /dev/null and b/texi/xface/simmonmt.png differ

diff --git a/texi/xface/simmons.gif b/texi/xface/simmons.gif
deleted file mode 100644 (file)
index 2d77394..0000000
Binary files a/texi/xface/simmons.gif and /dev/null differ

diff --git a/texi/xface/simmons.png b/texi/xface/simmons.png
new file mode 100644 (file)
index 0000000..39e52fd
Binary files /dev/null and b/texi/xface/simmons.png differ

diff --git a/texi/xface/siu.gif b/texi/xface/siu.gif
deleted file mode 100644 (file)
index 3df1792..0000000
Binary files a/texi/xface/siu.gif and /dev/null differ

diff --git a/texi/xface/siu.png b/texi/xface/siu.png
new file mode 100644 (file)
index 0000000..d140e31
Binary files /dev/null and b/texi/xface/siu.png differ

diff --git a/texi/xface/smb.gif b/texi/xface/smb.gif
deleted file mode 100644 (file)
index e3c11bc..0000000
Binary files a/texi/xface/smb.gif and /dev/null differ

diff --git a/texi/xface/smb.png b/texi/xface/smb.png
new file mode 100644 (file)
index 0000000..e890698
Binary files /dev/null and b/texi/xface/smb.png differ

diff --git a/texi/xface/sobek.gif b/texi/xface/sobek.gif
deleted file mode 100644 (file)
index 748f83a..0000000
Binary files a/texi/xface/sobek.gif and /dev/null differ

diff --git a/texi/xface/sobek.png b/texi/xface/sobek.png
new file mode 100644 (file)
index 0000000..3c838ef
Binary files /dev/null and b/texi/xface/sobek.png differ

diff --git a/texi/xface/thomas.gif b/texi/xface/thomas.gif
deleted file mode 100644 (file)
index f66cc84..0000000
Binary files a/texi/xface/thomas.gif and /dev/null differ

diff --git a/texi/xface/thomas.png b/texi/xface/thomas.png
new file mode 100644 (file)
index 0000000..0c42c8f
Binary files /dev/null and b/texi/xface/thomas.png differ

diff --git a/texi/xface/valdis.gif b/texi/xface/valdis.gif
deleted file mode 100644 (file)
index 8b55499..0000000
Binary files a/texi/xface/valdis.gif and /dev/null differ

diff --git a/texi/xface/valdis.png b/texi/xface/valdis.png
new file mode 100644 (file)
index 0000000..715d08d
Binary files /dev/null and b/texi/xface/valdis.png differ

diff --git a/texi/xface/verna1.gif b/texi/xface/verna1.gif
deleted file mode 100644 (file)
index 17199d7..0000000
Binary files a/texi/xface/verna1.gif and /dev/null differ

diff --git a/texi/xface/verna1.png b/texi/xface/verna1.png
new file mode 100644 (file)
index 0000000..d84f149
Binary files /dev/null and b/texi/xface/verna1.png differ

diff --git a/texi/xface/verna2.gif b/texi/xface/verna2.gif
deleted file mode 100644 (file)
index b4c1ec0..0000000
Binary files a/texi/xface/verna2.gif and /dev/null differ

diff --git a/texi/xface/verna2.png b/texi/xface/verna2.png
new file mode 100644 (file)
index 0000000..fc2f5e5
Binary files /dev/null and b/texi/xface/verna2.png differ

diff --git a/texi/xface/yamaoka.gif b/texi/xface/yamaoka.gif
deleted file mode 100644 (file)
index 2968cfc..0000000
Binary files a/texi/xface/yamaoka.gif and /dev/null differ

diff --git a/texi/xface/yamaoka.png b/texi/xface/yamaoka.png
new file mode 100644 (file)
index 0000000..f406744
Binary files /dev/null and b/texi/xface/yamaoka.png differ