Continuation de la doc

.github/workflows/publish_doc.yml

@@ -44,11 +44,11 @@ jobs:
       - name: Build
         run: |
           eval $(opam env)
-          make build-doc
+          make doc
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         # if: ${{ github.ref == 'refs/heads/main' }}
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: _build/default/_doc/_html/
+          publish_dir: _build/default/full-doc/html/

Makefile

@@ -37,18 +37,5 @@ all: FORCE quick_test tests test_dgfip_c_backend
 clean: FORCE remise_a_zero_versionnage
 	$(call make_in,$(DGFIP_DIR),clean_backend_all)
 	rm -f doc/doc.html
+	rm -rf examples/doc 
 	dune clean
-
-doc-deps: FORCE
-	python3 -m venv .venv
-	.venv/bin/pip install sphinx myst-parser
-
-sphinx-doc: FORCE
-	@command -v .venv/bin/sphinx-build >/dev/null 2>&1 || \
-	{ echo "Pour construire la documentation, vous avez besoin de sphinx-build avec \
-		l'extension 'myst-parser'. Lancez `make doc-deps`."; exit 1; }
-	rm -rf _build/default/doc/*
-	cp -rf doc/* _build/default/doc/
-	mkdir -p examples/doc
-	.venv/bin/sphinx-build -M html _build/default/doc/ examples/doc
-	.venv/bin/sphinx-build -M latexpdf _build/default/doc/ examples/doc

doc/conf.py

@@ -24,4 +24,7 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
 html_theme = 'alabaster'
-html_static_path = ['_static']
+html_static_path = ['_static','_static/dev']
+
+# When building, we move the dev documentation in this 'dev' folder.
+html_extra_path = ['_static/dev']