Update publish-docs script

foonathan · Jan 11, 2023 · f191eb0 · f191eb0
1 parent 3edafba
commit f191eb0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/doc/publish-docs.sh b/doc/publish-docs.sh
@@ -2,9 +2,11 @@
 # builds documentation and publishes it
 # run in root of repository, assumes `git worktree add doc/html gh-pages`
 
+rm -r doc/html/*
 doxygen doc/Doxyfile
+echo "memory.foonathan.net" > doc/html/CNAME
 cd doc/html
 git add --all
-git commit -am"Update documentation"
+git commit -am"Update documentation" --amend
 git push --force origin gh-pages