[pdftex] including GIF images

[Sebastian Rahtz]

I am amusing myself setting up a system to print 
random web pages. I find that Heiko has done all work (thanks!)
so all I need is:

\usepackage{epstopdf}
\g at addto@macro\Gin at extensions{,.gif}
\@namedef{Gin at rule@.gif}#1{{png}{.png}{`giftopng #1}}

where giftopng says

 X=`kpsewhich $1`
 Y=`basename $X .gif`.png
 convert $X $Y

(the kpsewhich is because I switch to a temporary directory, with
TEXINPUTS point back to whence I came).

Isn't that nice? well, it make me happy.....
-- 
Sebastian Rahtz      OUCS Information Manager
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431