Texinfo is the official documentation format of the GNU project. It
uses a single source file to produce both on-line information and
printed output. For more details about texinfo, see
http://www.texinfo.org.
In contrast to the HTML produced by 'makeinfo --html' (the 'makeinfo'
program is part of the Texinfo distribution), the HTML output of
'texi2html' is highly configurable. Among others, with 'texi2html' you
can customize your entire page layout (like headers, footers, style
sheets, etc), split documents at various levels and use 'latex2html' to
convert @tex sections.
'texi2html' should reasonably convert all Texinfo 4.0 constructs. If
not, please send a bug report to 'texi2html@mathematik.uni-kl.de'.
-rwxr-xr-x 1 root root 141744 Feb 6 2004 /usr/bin/texi2html drwxr-xr-x 2 root root 0 Feb 6 2004 /usr/doc/texi2html-1.64 -rw-r--r-- 1 root root 96 Jul 11 2000 /usr/doc/texi2html-1.64/AUTHORS -rw-r--r-- 1 root root 10260 Aug 10 2000 /usr/doc/texi2html-1.64/ChangeLog -rw-r--r-- 1 root root 3318 Jul 5 2000 /usr/doc/texi2html-1.64/INTRODUCTION -rw-r--r-- 1 root root 2948 Jul 3 2000 /usr/doc/texi2html-1.64/NEWS -rw-r--r-- 1 root root 4074 Jul 11 2000 /usr/doc/texi2html-1.64/README -rwxr-xr-x 1 root root 515 Jul 11 2000 /usr/doc/texi2html-1.64/TODO -rw-rw-rw- 1 root root 112649 Feb 6 2004 /usr/doc/texi2html-1.64/texi2html.html -rw-r--r-- 1 root root 27445 Feb 6 2004 /usr/info/texi2html.info -rw-r--r-- 1 root root 4969 Feb 6 2004 /usr/man/man1/texi2html.1