[Tutor] Python Tool for converting TeX to GIF

[Kirby Urner]

"Stephan Richter" <srichter@cbu.edu> posted:

>tex2gif()


OK, I get it.  Somehow I was thinking Python would be
doing the TeX-to-GIF processing, i.e. using PIL or
something like that, but the necessary tools are
already provided in this case with gs, dvi etc. and
Python's job is really just to build the requisite
command lines and pass 'em out to the Unix shell.

It's acting trully as a scripting language here -- in
its element (and in competition with Perl).

Thanks for posting your code.  Interesting to read.

Kirby