2 files changed, 6 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 6b3f840..a52500b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 # generated files
 tests/test_catalog.inc
 *.d
+docs/
 
 # executables
 runtests
diff --git a/Makefile b/Makefile
index e8003e8..4742fd2 100644
--- a/Makefile
+++ b/Makefile
@@ -75,7 +75,7 @@ all     = lib ${rt-apps}
 rt-apps = cycles base_task rt_launch rtspin release_ts measure_syscall \
           base_mt_task uncache runtests
 
-.PHONY: all lib clean dump-config TAGS tags cscope help
+.PHONY: all lib clean dump-config TAGS tags cscope help doc
 
 all: ${all} inc/config.makefile
 
@@ -116,12 +116,16 @@ dump-config:
 help:
         @cat INSTALL
 
+doc:
+        doxygen Doxyfile
+
 clean:
         rm -f ${rt-apps}
         rm -f *.o *.d *.a test_catalog.inc
         rm -f ${imported-headers}
         rm -f inc/config.makefile
         rm -f tags TAGS cscope.files cscope.out
+        rm -r -f docs
 
 # Emacs Tags
 TAGS: