Manual: Remove doctrees and sources from artifacts

cp2k · Oct 30, 2023 · 73d5172 · 73d5172
1 parent f4ae0b7
commit 73d5172
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -28,6 +28,7 @@
 html_theme = "sphinx_rtd_theme"
 html_static_path = ["_static"]
 html_favicon = "_static/favicon.png"
+html_copy_source = False
 
 add_module_names = False
 

diff --git a/tools/docker/scripts/test_manual.sh b/tools/docker/scripts/test_manual.sh
@@ -44,6 +44,7 @@ set +e # disable error trapping for remainder of script
   echo ""
   sphinx-build /opt/cp2k/docs/ /workspace/artifacts/manual -W -n --keep-going --jobs 16
   /opt/cp2k/docs/fix_github_links.py /workspace/artifacts/manual
+  rm -rf /workspace/artifacts/manual/.doctrees
 )
 EXIT_CODE=$?
 if ((EXIT_CODE)); then