Compile to HTML: Make HTML

Building the documentation

Building the documentation is an automated process. The autodoc extension will first construct .rst files. These are then converted into HTML pages. On Linux and Mac, this is accomplished using make, an oldie-but-goodie command-line ...