Add requirements.txt for document generation

src/docs/generate.sh

@@ -5,6 +5,9 @@ set -e
 #
 # Install breathe (assuming there's a venv in $HOME/venv/)
 #   source $HOME/venv/bin/activate
+#   pip install -r requirements.txt
+#
+# Or just install these:
 #   pip install -U sphinx breathe sphinx_rtd_theme recommonmark
 
 # rm should work, this should copy all files, but for safety reasons I'm not doing it...

src/docs/requirements.txt

@@ -0,0 +1,12 @@
+breathe==4.35.0
+commonmark==0.9.1
+recommonmark==0.7.1
+Sphinx==6.1.3
+sphinx-rtd-theme==1.2.0
+sphinxcontrib-applehelp==1.0.4
+sphinxcontrib-devhelp==1.0.2
+sphinxcontrib-htmlhelp==2.0.1
+sphinxcontrib-jquery==4.1
+sphinxcontrib-jsmath==1.0.1
+sphinxcontrib-qthelp==1.0.3
+sphinxcontrib-serializinghtml==1.1.5