ci: Remove redundant doc publish job (#1078)

.github/workflows/pypi-publish.yml

@@ -183,56 +183,3 @@ jobs:
         platforms: linux/amd64,linux/arm64
         push: true
         tags: ghcr.io/ietf-tools/xml2rfc-base:latest
-
-  build-docs:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    if: github.event.inputs.publish
-    needs: [build-base]
-    container: ghcr.io/ietf-tools/xml2rfc-base:latest
-    env:
-      PKG_VERSION: ${{needs.publish.outputs.pkg_version}}
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-
-      - name: Setup Pages
-        uses: actions/configure-pages@v1
-
-      - name: Generate docs
-        run: |
-          mkdir docs-dist
-          xml2rfc --docfile --out docs.xml
-          xml2rfc --html docs.xml --out docs-dist/index.html
-          cp ./docs-dist/index.html ./docs.html
-
-      - name: Add to existing release
-        uses: ncipollo/release-action@v1
-        with:
-          allowUpdates: true
-          tag: ${{ env.PKG_VERSION }}
-          artifacts: "docs.html"
-          token: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Generate artifact
-        run: |
-          tar \
-            --dereference --hard-dereference \
-            --directory docs-dist \
-            -cvf artifact.tar \
-            --exclude=.git \
-            --exclude=.github \
-            .
-        
-      - name: Upload artifact
-        uses: actions/upload-artifact@main
-        with:
-          name: github-pages
-          path: artifact.tar
-          retention-days: 1
-
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@main