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