Use sphinx instead of pandoc, and add a deploy job

2018-08-29 22:10:25 +02:00
parent d421ebd788
commit c70b97d761
11 changed files with 706 additions and 457 deletions
@@ -0,0 +1,7 @@
+End-user documentation
+======================
+
+.. toctree::
+   :maxdepth: 2
+
+   usage