Fix deployment of GitHub Pages (try 1)

pradyunsg · Sep 2, 2020 · 805ff34 · 805ff34
1 parent 0263c13
commit 805ff34
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -19,6 +19,11 @@ jobs:
     - name: Generate documentation
       run: nox -s docs
 
+    # This helps ensure the generated files are included by the action
+    # in the next step.
+    - name: Remove generated files from .gitignore
+      run: sed -n '/# Generated files/q;p' .gitignore > .gitignore
+
     - name: Upload to GitHub Pages
       uses: peaceiris/actions-gh-pages@v3
       with: