Hopefully last gh pages fix

ah- · Mar 1, 2018 · d4df100 · d4df100
1 parent 11ec9a5
commit d4df100
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/publish-docs.sh b/scripts/publish-docs.sh
@@ -23,7 +23,7 @@ touch .
 
 echo -e "Pushing changes to gh-pages"
 git add -A . 
-git commit -m "rebuild pages at ${rev}" --quiet
+git commit -m "rebuild pages" --quiet
 git push -q upstream HEAD:gh-pages
 
 echo -e "Deployed docs to GitHub Pages"