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 <a...@software-lab.de>
> Hi František,
> > I guess it's trivial to write script that extracts everything betwen
> > </body> tags from all the individual function reference HTML files and
> > 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:email@example.com?subject=Unsubscribe