From 5bcff9fac1a86c4d7cb977ce87625470244fe6cb Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Sun, 12 Nov 2023 09:51:46 +0900 Subject: [PATCH] live doc has pdfs --- .github/workflows/doc-build.yml | 2 +- src/doc/Makefile | 4 ---- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 3660ff3a947..7d87c9ed4c5 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -206,7 +206,7 @@ jobs: export SAGE_LIVE_DOC=yes export SAGE_JUPYTER_SERVER=binder:sagemath/sage-binder-env/dev make doc-clean doc-uninstall - ./config.status && make sagemath_doc_html-no-deps + ./config.status && make doc-html && make doc-pdf working-directory: ./worktree-image env: MAKE: make -j2 --output-sync=recurse diff --git a/src/doc/Makefile b/src/doc/Makefile index 8af80257c72..912eb5cb0e9 100644 --- a/src/doc/Makefile +++ b/src/doc/Makefile @@ -89,10 +89,6 @@ doc-pdf-other: doc-pdf-reference doc-pdf: doc-pdf-reference doc-pdf-other -# website with pdf links -doc-pdf-website: doc-html doc-pdf - sage --docbuild website html $(SAGE_DOCBUILD_OPTS) - .PHONY: all clean \ doc-src \