Setup Sphinx#

Installation#

First install sphinx:

$ apt-get install python3-sphinx

We may want to encourage/force other packages to be installed.

A new documentation folder#

$ sphinx-quickstart

(with options, I propose separate source and build?)

Build#

$ sphinx-build -M html source/ build/

or

$ make html