diff --git a/Makefile b/Makefile index c5fc2d9d..ccbf30ba 100644 --- a/Makefile +++ b/Makefile @@ -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