Merge branch 'master' of github.com:moonad/docs.formality-lang.org

Soonad · Sep 11, 2019 · c8e2bbd · c8e2bbd
2 parents 7929048 + 60675d7
commit c8e2bbd
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 3 deletions.
diff --git a/docs/source/index.rst b/docs/source/index.rst
@@ -53,3 +53,10 @@ Table of contents
 
     runtime/Formality-Net
 
+.. toctree::
+    :maxdepth: 2
+    :numbered:
+    :caption: Theory
+
+    theory/TODO
+
diff --git a/docs/source/theory/TODO.md b/docs/source/theory/TODO.md
@@ -0,0 +1 @@
+# TODO
diff --git a/readthedocs.yaml b/readthedocs.yaml
@@ -1,4 +1,9 @@
 python:
-   version: 3.7
-   install:
-    - requirements_file: docs/requirements.txt
+  version: 3.7
+install:
+  - requirements_file: docs/requirements.txt
+sphinx:
+  configuration: docs/conf.py
+formats: 
+  - epub
+  - pdf