[Doc] Fix documentation build script (#79)

flashinfer-ai · Jan 20, 2024 · 6743209 · 6743209
1 parent 807d197
commit 6743209
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/gh_deploy_doc.sh b/scripts/gh_deploy_doc.sh
@@ -8,14 +8,14 @@ mkdir -p tmp
 cd docs
 make html
 mv _build/html/* ../tmp/
-rm -rf _build/
 cd ..
 
 git grep --cached -l '' | xargs rm
 git fetch
 git checkout -B gh-pages origin/gh-pages
 echo "3rdparty/" >> .gitignore
-mv tmp/* docs/
+rm -rf docs/
+mv tmp docs
 
 DATE=`date`
 git add . && git commit -am "Build at ${DATE}"