From f6040ea3bccb0e58984a706725aa7bb8b8804e91 Mon Sep 17 00:00:00 2001
From: Niels <niels.lohmann@gmail.com>
Date: Sun, 21 Jun 2015 13:16:52 +0200
Subject: [PATCH] minor change

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ccbf30ba..ef0a14cb 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 $(shell git ls-files --deleted)
+	-cd html ; git rm $(shell git ls-files --deleted)
 	git commit -m "Doxygen update"
 	git checkout master