|
|
This is a handy tool to create GIF images in batch(!) containing
strings rendered via TeX-available fonts. This is especially
useful for Webdesigners who need some special fonts which HTML
does not provide.
Actually the Website META Language (WML) [see www/wml/ port]
has a powerful package named wml::des::gfont which is based
uppon this program: it defines a new HTML container tag named
<gfont> which gets replaced by a GIF image containg the tags
body string, rendered via any TeX-available font. Very useful
for headlines or big letters at the start of paragraphs.
|
