From dbac542430c8cbccef5e7850e9bb21380fd2e834 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 30 Aug 2023 14:19:56 +0900 Subject: [PATCH] Add SAGE_USE_CDNS=yes --- .github/workflows/doc-build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 3635980d15f..e12ad0a75fb 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -82,6 +82,7 @@ jobs: # incremental docbuild may introduce broken links (inter-file references) though build succeeds run: | set -ex + export SAGE_USE_CDNS=yes mv /sage/local/share/doc/sage/html/en/.git /sage/.git-doc make doc-clean doc-uninstall sagelib-clean && git clean -fx src/sage mkdir -p /sage/local/share/doc/sage/html/en/ && mv /sage/.git-doc /sage/local/share/doc/sage/html/en/.git