diff --git a/Makefile b/Makefile
index bd91d7f95..b2e3d96b7 100644
--- a/Makefile
+++ b/Makefile
@@ -19,4 +19,7 @@ check: all
 clean:
 	./setup.py clean --all
 
-.PHONY: all dist install install-user uninstall check clean
+docs:
+	cd Doc && $(MAKE) html
+
+.PHONY: all dist install install-user uninstall check clean docs