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.