About this document
This section explains how the documentation you are now reading is generated.
A Lua script named gen-html.lua
does the transformation of the
input files into complete HTML pages, including header, title, menu and the
actual content.
Type make doc in the source directory to output the documentation in the subdirectory build/doc. This also builds detailed documentation directly from the source.