.github/workflows/doc-build.yml: Save/restore the git repo of the built documentation around running doc-clean

Author: Matthias Koeppe

.github/workflows/doc-build.yml

@@ -80,7 +80,10 @@ jobs:
         # incremental docbuild may introduce broken links (inter-file references) though build succeeds
         run: |
           set -ex
-          make doc-clean doc-uninstall sagelib-clean && git clean -fx src/sage && ./config.status && make doc-html
+          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/
+          ./config.status && make doc-html
         working-directory: ./worktree-image
         env:
           MAKE: make -j2