Another round of the documentation battle

3-manifolds · Feb 28, 2024 · 96a339d · 96a339d
1 parent a1eaa76
commit 96a339d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Sage_framework/build_sage.sh b/Sage_framework/build_sage.sh
@@ -93,7 +93,10 @@ venv/bin/python3 -m pip ${PIP_ARGS} cocoserver
 # Build the documentatation.
 # The doc build does not seem to work when done in parallel, so no -j4.
 pushd src/doc
-make PATH=$SAGE_SYMLINK/venv/bin:$PATH SAGE_ROOT=$SAGE_SYMLINK doc-html--all
+export PATH=$SAGE_SYMLINK/venv/bin:$PATH
+export SAGE_ROOT=$SAGE_SYMLINK
+make clean
+make doc-html--all
 popd
 # Move the repo back where it belongs.
 popd