CI docs: delete stale files

edeb162c · Ralf Jung · d9b7d46a · edeb162c
Commit edeb162c authored 7 years ago by Ralf Jung
--- a/build/coqdoc
+++ b/build/coqdoc
@@ -17,4 +17,4 @@ set -x
 make html

 # Upload documentation
-rsync -a -e "$GIT_SSH" html/ "$DOCDIR/"
+rsync -a --delete -e "$GIT_SSH" html/ "$DOCDIR/"