Prerequisites

There are several prerequisites for building documentation:

For CI users, compiled versions of these packages can be found in ~davidk.

Build Docs Script

Before committing any changes to documentation, it is a good idea manually build the documentation. The script to build the documentation is docs/build_docs.sh.

This script will convert the documents into HTML and PDF, and then copy the files to a given output directory.