and put them all in the right places. We use Sphinx and the Read the Docs theme to generate the HTML and PDF versions of the textbook. Finally, we use another script to deploy the contents to the user ...