Do not keep history of compiled docs

molmod · Dec 6, 2013 · a044cfb · a044cfb
1 parent 318fa73
commit a044cfb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/updatesite.sh b/updatesite.sh
@@ -14,7 +14,7 @@ git checkout master && (
       echo Adding $f
       git add $f
     done
-    git commit -a -m 'Automatic documentation update'
-    git push origin gh-pages:gh-pages
+    git commit --amend -a -m 'Automatic documentation update'
+    git push origin gh-pages:gh-pages -f
   )
 ) && git checkout master