Hi František,

> I guess it's trivial to write script that extracts everything betwen <body>
> </body> tags from all the individual function reference HTML files and puts
> it into one single HTML page.

Well, yes, but not only that. More important is to adjust all the
cross-ref links.

♪♫ Alex
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to