From ae58f38feebed6c468a20d3ae45fbf83b6e3b457 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jfonseca@titan.(none)>
Date: Fri, 21 Sep 2007 16:47:00 +0100
Subject: [PATCH] Fix the doxygen target in the top-level Makefile.

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 \
-- 
2.30.2