>>>>> "Mike" == Mike Clarkson <michael@internetdiscovery.com> writes:
Mike> I'll send you a copy of the source, and I'll try to send a PDF.
Mike> This format is LaTexinfo which can generate info files, which I believe
Mike> is what DESCRIBE uses.I t also uses latex2html which makes a table of
DESCRIBE uses info files so if LaTeXinfo produces info files, then
describe will be happy.
Mike> lablels (labels.pl) which is also easy to parse for pointers the same
Mike> was as info. Also I think I have a texinfo->LaTeXinfo converter so that
Mike> if there were any sections of the current texinfo files that needed adding
Mike> to what I've done, it should be fairly simple to include them.
FWIW, the CMUCL user's manual used to be in LaTeXinfo, but it seemed
as if LaTeXinfo was no longer supported so it all got converted to
just LaTeX. Hevea is used to convert that to HTML.
Ray