docs: moving out dev docs (#1698) (#1704)

varfish-org · Jun 13, 2024 · d483386 · d483386
1 parent 8d89468
commit d483386
Show file tree

Hide file tree

Showing 12 changed files with 6 additions and 1,088 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -5,14 +5,14 @@ build:
   tools:
     python: "3.10"
 
-# Build documentation in the "docs_manual/" directory with Sphinx
+# Build documentation in the "docs/" directory with Sphinx
 sphinx:
-  configuration: docs_manual/conf.py
+  configuration: docs/conf.py
 
 formats:
   - pdf
   - epub
 
 python:
    install:
-     - requirements: docs_manual/requirements.txt
+     - requirements: docs/requirements.txt
diff --git a/docs/developer_checklists.rst b/docs/developer_checklists.rst
diff --git a/docs/developer_data_builds.rst b/docs/developer_data_builds.rst
diff --git a/docs/developer_database.rst b/docs/developer_database.rst