[tex-live] GNU info tools

Karl Berry karl at freefriends.org
Tue Sep 8 00:43:58 CEST 2009


    I would certainly like to see texindex and the documentation
    (texinfo.html or .pdf) returned. 

Sorry Dan, it's not going to happen.  You'll need to get the texinfo
package from somewhere else (cygwin, mingw, gnuwin32, I don't know what
else is out there for Windows...).  That includes texi2dvi (a shell
script).

As for texi2html, it's currently a separate package, at
http://texi2html.nongnu.org.  You can also run makeinfo --html; makeinfo
is part of the texinfo package.

Best,
karl


More information about the tex-live mailing list