Update sphinx docs; use exhale and breathe.

2019-08-07 01:57:26 +00:00
parent 48729670c1
commit 7a932f422a
10 changed files with 209 additions and 10 deletions
--- a/12
+++ b/12
@@ -0,0 +1,12 @@
+#!/bin/sh
+set +eux
+
+if [ "$(hostname -s)" = "freeside" ]
+then
+	HOST="$HOME/"
+else
+	HOST="freeside.wntrmute.net:"
+fi
+
+cd docs && doxygen && rsync -auv html/ ${HOST}sites/wntrmute-dev/wrmath/
+cd sphinx && make html && rsync -auv _build/html/ ${HOST}sites/wntrmute-dev/sphinx/