Re: man vs info vs texinfo files

[Per Bothner <per bothner com>]

On 03/06/2009 03:01 AM, Ignacio Vazquez-Abrams wrote:
> Sounds good, but how much CPU does it take to convert texinfo into...
> something else? And does it need all of TeXlive in order to do it?

TeXlive is only used to produce "printed" documentation: i.e. pdf
files (or .dvi/.ps files in the old days).

To convert texinfo to info files or to html/xhtml./docbok
you use the makeinfo program, which is a fairly fast C program
abd doesn't any of the tex tools.

$ ls -l kawa.texi
-rw-r--r--. 1 bothner bothner 286137 2009-02-06 17:34 kawa.texi
$ time makeinfo   -I .  -o kawa.info kawa.texi
real	0m0.163s
user	0m0.134s
sys	0m0.016s
$ ls -l kawa.info*
-rw-r--r--. 1 bothner bothner   2981 2009-03-06 08:17 kawa.info
-rw-r--r--. 1 bothner bothner 281896 2009-03-06 08:17 kawa.info-1
-rw-r--r--. 1 bothner bothner  35188 2009-03-06 08:17 kawa.info-2

(The output is split into the above 3 files.)
--
	--Per Bothner
per bothner com   http://per.bothner.com/