Include pdf docs to live doc

Author: kwankyu

.github/workflows/doc-build-pdf.yml

@@ -58,7 +58,6 @@ jobs:
           eval $(sage-print-system-package-command auto --yes --no-install-recommends install zip)
           eval $(sage-print-system-package-command auto --spkg --yes --no-install-recommends install git texlive)
 
-
       - name: Add prebuilt tree as a worktree
         id: worktree
         run: |

.github/workflows/doc-build.yml

@@ -202,11 +202,15 @@ jobs:
         if: (success() || failure()) && steps.copy.outcome == 'success' && github.repository == 'sagemath/sage' && github.ref == 'refs/heads/develop'
         run: |
           set -ex
+          export PATH="build/bin:$PATH"
+          eval $(sage-print-system-package-command auto update)
+          eval $(sage-print-system-package-command auto --yes --no-install-recommends install zip)
+          eval $(sage-print-system-package-command auto --spkg --yes --no-install-recommends install git texlive)
           export SAGE_USE_CDNS=yes
           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 sagemath_doc_html-no-deps sagemath_doc_pdf-no-deps
         working-directory: ./worktree-image
         env:
           MAKE: make -j2 --output-sync=recurse
@@ -219,6 +223,7 @@ jobs:
           set -ex
           mkdir -p ./livedoc
           cp -r -L /sage/local/share/doc/sage/html ./livedoc
+          cp -r -L /sage/local/share/doc/sage/pdf ./livedoc
           cp  /sage/local/share/doc/sage/index.html ./livedoc
           zip -r livedoc.zip livedoc