generate documentation on master

.gitea/workflows/build.yaml

@@ -33,13 +33,16 @@ jobs:
           .ci/deploy_to_build_repo.sh
         env:
           REF_NAME: ${{ github.ref_name }}
+      - name: Compile documentation
+        if: github.ref == 'refs/heads/master'
+        run: make doc
       - name: Prepage pages
         if: github.ref == 'refs/heads/master'
         run: |
           cd build
           rm -rf packages/.git  # Don't deploy the git files
           zip -r latex-packages.zip packages/ -x '*.git*'
-          zip -r latex-packages-doc.zip doc
+          zip -r latex-packages-doc.zip doc/
       - name: Deploy to pages
         if: github.ref == 'refs/heads/master'
         uses: actions/pages@v1