From 68ce9397cbff4f636a4f92fca03a3f0e2a5cfeb4 Mon Sep 17 00:00:00 2001
From: Joakim Gebart <joakim.gebart@eistec.se>
Date: Thu, 16 Jul 2015 15:42:28 +0200
Subject: [PATCH] doc/doxygen: Clean up Makefile

---
 doc/doxygen/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile
index c64e7d411a..4aa28879ae 100644
--- a/doc/doxygen/Makefile
+++ b/doc/doxygen/Makefile
@@ -1,4 +1,9 @@
-doc:
+.PHONY: doc
+doc: html
+
+# by marking html as phony we force make to re-run Doxygen even if the directory exists.
+.PHONY: html
+html:
 	doxygen riot.doxyfile
 
 clean: