remove gitignore on gh pages branch

mattwparas · Dec 22, 2023 · a63c49d · a63c49d
1 parent ec52f06
commit a63c49d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -34,6 +34,8 @@ jobs:
         # Delete everything except the book
         mv dev/bench .. || true
         rm -rf *
+        rm -rf .github
+        rm .gitignore
         # There are benchmarks stored in dev/bench/ that we would like to
         # keep around. Otherwise, this just adds the book as a separate
         # directory.