clean up

2015-06-21 13:14:39 +02:00 · 2015-06-21 13:14:39 +02:00 · e0fa56f84f
parent 332b10998a
commit e0fa56f84f
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -50,7 +50,7 @@ update_doxygen_online:
 	git checkout gh-pages
 	rm -fr html
 	mv /tmp/github-html html
-	cd html ; git rm $(git ls-files --deleted)
+	cd html ; -git rm $(shell git ls-files --deleted)
 	git commit -m "Doxygen update"
 	git checkout master