summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosé Fonseca <jfonseca@titan.(none)>2007-09-21 16:47:00 +0100
committerJosé Fonseca <jfonseca@titan.(none)>2007-09-21 16:47:56 +0100
commitae58f38feebed6c468a20d3ae45fbf83b6e3b457 (patch)
tree850f6ea2e859b0d14e7091d125bbf19e77da8d6c
parent42df29d3b9139f7b8bb757893bb8bf930585cc33 (diff)
Fix the doxygen target in the top-level Makefile.
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f65aa60d57..4f8cc20390 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 \