From 332b10998a45e2b0a4884eff4f1df453e13eb9e0 Mon Sep 17 00:00:00 2001
From: Niels <niels.lohmann@gmail.com>
Date: Sun, 21 Jun 2015 13:12:17 +0200
Subject: [PATCH] clean up

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

diff --git a/Makefile b/Makefile
index cd81eaae..c5fc2d9d 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +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)
 	git commit -m "Doxygen update"
 	git checkout master