diff -r fb4c9dd11ca0 -r 786d4cba38fb Makefile --- 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)