From 5ed78a8b5349f43ef2dedca42096015686bdb065 Mon Sep 17 00:00:00 2001 From: Paul Date: Thu, 6 Feb 2025 15:18:28 -0700 Subject: [PATCH] Move pages into subdir and add manual triggering --- .github/workflows/deploy-pages.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/deploy-pages.yaml b/.github/workflows/deploy-pages.yaml index 708ba1930..8963815df 100644 --- a/.github/workflows/deploy-pages.yaml +++ b/.github/workflows/deploy-pages.yaml @@ -6,6 +6,7 @@ on: - develop paths: - docs/** + workflow_dispatch: # Allows manual triggering of the workflow # This job installs dependencies, builds the book, and pushes it to `gh-pages` jobs: @@ -55,3 +56,4 @@ jobs: with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./docs/_build/html + destination_dir: docs # Publishes to the docs folder