minor change

This commit is contained in:
Niels 2015-06-21 13:16:52 +02:00
parent e0fa56f84f
commit f6040ea3bc

View file

@ -50,7 +50,7 @@ update_doxygen_online:
git checkout gh-pages
rm -fr html
mv /tmp/github-html html
cd html ; -git rm $(shell git ls-files --deleted)
-cd html ; git rm $(shell git ls-files --deleted)
git commit -m "Doxygen update"
git checkout master