Description:
genmenu
reads the menu description file and generates a vertical
menu-bar, collapsed according to which pagename you gave it. This
requires all the documentation to be rebuilt whenever you change the
menu definition, but avoids having to use JavaScript.
I couldn't find a simple stand-alone program that did this, so here you are.
It doesn't require remstats.
The Menu Definition File
The file has a simple format. Blank lines and lines beginning with '#'
are ignored. The other lines look like:
[tabs]pagename [page title]
The number of tabs
shows the level of sub-menus, making the definition
file easy to grasp at a glance. Note that the tabs
are actual tab characters.
The page title
(optional) is what shows up in the menu, while the
pagename
is used to make the URL to link to. If the page name is
xyz
, then a link to xyz.html
is produced. If the page title
is missing,
then the pagename
is used instead.
[