change doc deploying

mattwparas · Dec 22, 2023 · 8315012 · 8315012
1 parent 9d776d0
commit 8315012
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -34,7 +34,6 @@ jobs:
         # There are benchmarks stored in dev/bench/ that we would like to
         # keep around. Otherwise, this just adds the book as a separate
         # directory.
-        rm -rf *
         mv ../book/ .
         git add book
         git commit -m "Deploy $GITHUB_SHA to gh-pages"