From e0fa56f84f227d730562c10a898bfe28096c7b15 Mon Sep 17 00:00:00 2001 From: Niels Date: Sun, 21 Jun 2015 13:14:39 +0200 Subject: [PATCH] clean up --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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