1 files changed, 6 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index ddf3ca7..eed9f8f 100644
--- a/Makefile
+++ b/Makefile
@@ -138,6 +138,12 @@ makedirs:
 all:
 	$(MAKE) gpgpusim
 
+docs:
+	$(MAKE) -C doc/doxygen/
+
+cleandocs:
+	$(MAKE) clean -C doc/doxygen/
+
 clean: 
 	$(MAKE) cleangpgpusim