Makefile
changeset 180 786d4cba38fb
parent 169 b3ecbec2c487
child 195 674071846ee3
--- a/Makefile	Mon Apr 10 15:00:03 2006 +0000
+++ b/Makefile	Tue Apr 11 08:26:18 2006 +0000
@@ -32,9 +32,16 @@
 modules:
 	$(MAKE) -C $(KERNELDIR) M=`pwd`
 
-clean:
+clean: cleandoc
 	$(MAKE) -C $(KERNELDIR) M=`pwd` clean
 
+doc:
+	doxygen Doxyfile
+
+cleandoc:
+	@rm -rf doc
+
+
 install:
 	@./install.sh $(KERNEL) $(DEVICEINDEX)