Revert "ci: use containers instead of installing texlive-full in each…

… run"

This reverts commit c304520.

.github/workflows/ghpages.yml

@@ -0,0 +1,50 @@
+name: GH Pages
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  docs-generation:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+
+    - name: Set up Python 3.9
+      uses: actions/setup-python@v4
+      with:
+        python-version: 3.9
+
+    - name: Install dependencies
+      run: |
+          sudo apt-get update
+          sudo apt-get install -y texlive-full
+          python3 -m pip install -r docs/requirements.txt
+
+    - name: Generate documentation
+      run: |
+        cd docs
+        make html latexpdf
+        cp build/latex/*.pdf build/html/
+
+    - uses: actions/upload-artifact@v3
+      with:
+        name: gh-page
+        path: docs/build/html
+
+    - name: Deploy to Github Pages
+      if: github.ref == 'refs/heads/main' && github.event_name != 'pull_request'
+      run: |
+        cd docs/build/html
+        touch .nojekyll
+        git init
+        cp ../../../.git/config ./.git/config
+        git add .
+        git config --local user.email "push@gha"
+        git config --local user.name "GHA"
+        git commit -am "update ${{ github.sha }}"
+        git push -u origin +HEAD:gh-pages
+        rm -rf .git

.github/workflows/pipeline.yml

@@ -97,38 +97,3 @@ jobs:
         with:
           name: top.bit
           path: top.bit
-
-  Docs:
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v3
-
-      - uses: docker://btdi/sphinx:min
-        with:
-          args: ./.github/scripts/sphinx.sh
-
-      - uses: docker://btdi/latex
-        with:
-          args: ./.github/scripts/latex.sh
-
-      - name: 'Upload artifact: Sphinx HTML and PDF'
-        uses: actions/upload-artifact@v3
-        with:
-          name: Documentation
-          path: docs/build/html
-
-      - name: Deploy to Github Pages
-        if: github.ref == 'refs/heads/main' && github.event_name != 'pull_request'
-        run: |
-          sudo chown -R $(whoami) docs
-          cd docs/build/html
-          touch .nojekyll
-          git init
-          cp ../../../.git/config ./.git/config
-          git add .
-          git config --local user.email "push@gha"
-          git config --local user.name "GHA"
-          git commit -am "update ${{ github.sha }}"
-          git push -u origin +HEAD:gh-pages
-          rm -rf .git