From 871eef081ff9db7289a6947d0160cd984232c34c Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@mpi-sws.org>
Date: Wed, 27 Nov 2013 12:05:21 +0100
Subject: Hook up doxygen as 'make doc'

Also adjust 'make clean' and .gitignore.
---
 .gitignore | 1 +
 Makefile   | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

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:
-- 
cgit v1.2.2