Patches

[Dirk Hohndel]

On Fri, 2013-05-31 at 05:43 +0900, Dirk Hohndel wrote:

> The help browser is a great addition - of course it needs to be hooked
> up to displaying the right file (I'll work on that in the meantime).

Ok, the help browser is "mostly" hooked up. Changes pushed.

Right now it doesn't render our HTML very well (haven't looked into that
at all) and the Makefile plumbing is missing to get the user-manual.html
built and installed by default :-)

/D