factor/doc/makedoc

#!/bin/sh
echo X | pdflatex handbook
makeindex handbook
sh makeglos handbook
pdflatex handbook
pdflatex handbook
pdflatex handbook
fix bad bootstrap bug; generic append, reverse, concat (replacing cat and append*); working on documentation 2005-04-25 19:54:21 -04:00			`#!/bin/sh`
many contrib/ fixes by Trent Buck 2006-01-18 14:06:34 -05:00			`echo X \| pdflatex handbook`
fix bad bootstrap bug; generic append, reverse, concat (replacing cat and append*); working on documentation 2005-04-25 19:54:21 -04:00			`makeindex handbook`
many contrib/ fixes by Trent Buck 2006-01-18 14:06:34 -05:00			`sh makeglos handbook`
fix bad bootstrap bug; generic append, reverse, concat (replacing cat and append*); working on documentation 2005-04-25 19:54:21 -04:00			`pdflatex handbook`
			`pdflatex handbook`
			`pdflatex handbook`