On Mon, 27 Mar 2000, Karl Berry wrote:

> The texi2dvi shell script that comes with the Texinfo distribution has a
> --pdf option (which boils down to doing the above), but I doubt it will
> work on a Windows system.

It will, if Oliver installs the DJGPP ports of Bash, pdftex, Texinfo, and 
a few other utilities.

Reply via email to