Live doc for CI is left for further discussion

vbraun · Oct 26, 2023 · 857741c · 857741c
1 parent 146d170
commit 857741c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -102,8 +102,6 @@ jobs:
         run: |
           set -ex
           export SAGE_USE_CDNS=yes
-          export SAGE_LIVE_DOC=yes
-          export SAGE_JUPYTER_SERVER=binder:sagemath/sage-binder-env/dev
           mv /sage/local/share/doc/sage/html/en/.git /sage/.git-doc
           make doc-clean doc-uninstall
           mkdir -p /sage/local/share/doc/sage/html/en/ && mv /sage/.git-doc /sage/local/share/doc/sage/html/en/.git