1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f65aa60d573..4f8cc203903 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,10 @@ default: $(TOP)/configs/current
 
 
 doxygen:
-	(cd doxygen ; make) ; \
+	cd doxygen && $(MAKE)
+
+.PHONY: doxygen
+
 
 clean:
 	@for dir in $(SUBDIRS) ; do \