live doc has pdfs

Author: kwankyu

.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

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 \