This is something that I recently discovered that I wanted, so I broke out
my sed manual and came up with this:

Please let me know if there are any broken links. I think I got all of them
to work nicely.


On Wed, Oct 14, 2015 at 1:24 AM, Alexander Burger <>

> 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
> --

Reply via email to