@gif{pict.gif}
This extension provides a method for inserting a gif file in both the
html and printed document. For example, here are my arrow icons:
prev: ,
up:
,
and next:
@gif{}
and texi2wwwtexi2www copies pict.gif to the destination directory.
@gif{}
and texi2dvitexi2dvi converts pict.gif to a font and uses this font to insert the picture in the document. This conversion to a font requires that the pbmplus and bm2font utilities be installed on your system:
<ftp://ftp.x.org/contrib/utilities/netpbm-1mar1994.tar.gz>
.
.gif
''
images) to a font that can be used in a TeX document.
bm2font can be obtained from
<ftp://ftp.shsu.edu/tex-archive/graphics/bm2font.tar.gz>
.