Change subdirectory for pushing pages

Martin D. Weinberg · Martin D. Weinberg · commit 2b4455a22332 · 2025-07-25T10:37:55.000-04:00
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
@@ -39,5 +39,5 @@ jobs:
         with:
           publish_branch: gh-pages
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: _build/
+          publish_dir: _build/html
           force_orphan: true
