page from the table of contents.

build_html():  Deal with node2label.pl a little better.

	value.

ArabictoRoman():  Acquired function from Robert Donohue
	<donahue@cfassp48.harvard.edu>; might be useful someday, and I don't
	want to figure it out again!

But I'm not giving this or the info files out until Andy (or anyone else)
agrees to take over the maintenance of this script!  Hah!

variable isn't used yet.

PDF output properly supports the outline.

manual.

break HOWTO documents.

Use the helpers in do_cmd_*() and do_env_*(); *much* cleaner!

<larsga@ifi.uio.no>.

whitespace and comment noise.

Accept 'rb' and 'wb' as well as 'r' and 'w' as the mode parameter to open().

Appending a junk char to the end doesn't quite do it, or doesn't seem to at
any rate.  Instead, pad the page numbers to always be 3 charaters wide, with
leading zeros.

"." cannot be part of the target names either.

Appending a junk char to the end doesn't quite do it, or doesn't seem to at
any rate.  Instead, pad the page numbers to always be 3 charaters wide, with
leading zeros.

"page.%dx"; this works around an acroread bug that causes targets not to be
recognized if their name is a prefix of another target in the file.

(Thanks, Just!)