From 6a37ec68554856eabbe9434e263166453f2b4dfd Mon Sep 17 00:00:00 2001
From: Karel van Klink <karel.vanklink@geant.org>
Date: Mon, 10 Jul 2023 16:33:27 +0200
Subject: [PATCH] build docs to /docs/build instead of /docs/build/html
This should fix the Jenkins pipeline for publishing documentation
---
build-docs.sh | 4 ++--
docs/source/conf.py | 3 +--
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/build-docs.sh b/build-docs.sh
index d025ad76..c362d9dd 100755
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -1,4 +1,4 @@
pip install sphinx-autodoc2 sphinx_rtd_theme myst-parser
-cd docs/source || exit 1
-make html
+cd docs || exit 1
+sphinx-build source build
diff --git a/docs/source/conf.py b/docs/source/conf.py
index f82028fa..40f59bcb 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -31,8 +31,7 @@ html_theme_options = {
html_css_files = ['custom.css']
html_logo = 'static/geant_logo_white.svg'
-# Both the class' and the __init__ method's docstring
-# are concatenated and inserted.
+# Both the class' and the __init__ method's docstring are concatenated and inserted.
autoclass_content = 'both'
autodoc_typehints = 'none'
--
GitLab