Add docs build and deploy workflow (#9)

Author: mborland

.github/workflows/build_and_deploy.yml

@@ -10,11 +10,30 @@ concurrency:
   group: build_and_deploy
   cancel-in-progress: false
 
+env:
+  # Tag of edgcpp/compiler whose documentation is published at
+  # https://edgcpp.org/doc/.  Bump this to publish a newer release's docs.
+  COMPILER_DOC_REF: '7.0'
+
 jobs:
   test:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
+      - name: Build compiler documentation
+        run: |
+          # Fetch only doc/ at the tag; a full checkout of the tree is over 3 GB.
+          git -c advice.detachedHead=false clone --depth 1 \
+            --branch "$COMPILER_DOC_REF" --filter=blob:none --sparse \
+            https://github.com/edgcpp/compiler.git /tmp/compiler
+          git -C /tmp/compiler sparse-checkout set doc
+          docker run --rm \
+            -v /tmp/compiler:/work \
+            -w /work/doc \
+            edgcpp/sphinx-env:latest \
+            make dirhtml
+          mkdir -p doc
+          cp -a /tmp/compiler/doc/build/dirhtml/. doc/
       - uses: ruby/setup-ruby@v1
         with:
           ruby-version: '4.0'
@@ -29,6 +48,20 @@ jobs:
       contents: write
     steps:
       - uses: actions/checkout@v5
+      - name: Build compiler documentation
+        run: |
+          # Fetch only doc/ at the tag; a full checkout of the tree is over 3 GB.
+          git -c advice.detachedHead=false clone --depth 1 \
+            --branch "$COMPILER_DOC_REF" --filter=blob:none --sparse \
+            https://github.com/edgcpp/compiler.git /tmp/compiler
+          git -C /tmp/compiler sparse-checkout set doc
+          docker run --rm \
+            -v /tmp/compiler:/work \
+            -w /work/doc \
+            edgcpp/sphinx-env:latest \
+            make dirhtml
+          mkdir -p doc
+          cp -a /tmp/compiler/doc/build/dirhtml/. doc/
       - uses: ruby/setup-ruby@v1
         with:
           ruby-version: '4.0'
@@ -44,6 +77,10 @@ jobs:
           find . -maxdepth 1 ! -name '_site' ! -name '.git' -exec rm -rf {} \;
           mv _site/* .
           rm -r _site/
+          # Serve master as-is.  Without this, GitHub Pages runs Jekyll over it
+          # again, which drops the documentation's doc/_static/ and
+          # doc/_sources/ directories.
+          touch .nojekyll
           git config --global user.name "GitHub Actions"
           git config --global user.email "actions@edgcpp.org"
           git add .

_config.yml

@@ -24,3 +24,10 @@ exclude:
   - README.md
   - CLAUDE.md
   - AGENTS.md
+
+# Keep the Sphinx output directories that the compiler documentation build
+# copies into doc/ (Jekyll skips names that start with an underscore).
+include:
+  - _static
+  - _sources
+  - _images