From 6d9414076ddce62aa8e914378c6029f28e1fd7d8 Mon Sep 17 00:00:00 2001 From: Abhiram824 Date: Mon, 6 Jan 2025 19:21:48 -0600 Subject: [PATCH] fix build and docs synchronization error --- .github/workflows/update-docs.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update-docs.yaml b/.github/workflows/update-docs.yaml index 5c8168d2f0..a644f805f2 100644 --- a/.github/workflows/update-docs.yaml +++ b/.github/workflows/update-docs.yaml @@ -35,13 +35,14 @@ jobs: run: | cd docs make clean html + mv _build .. # Deploy to GitHub Pages - name: Deploy to GitHub Pages uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: docs/_build/html + publish_dir: _build/html destination_dir: docs # Remove .nojekyll from root directory if it exists