--- a/Make.proto	Mon Jun 15 11:46:50 2015 +0100
+++ b/Make.proto	Thu Jun 18 07:45:31 2015 +0100
@@ -78,6 +78,15 @@
 all:: java_compile
 
 
+doc:
+	$(MAKE) -C docs/user html
+
+doc-install:
+	$(MAKE) -C docs/user html-install
+
+clean::
+	$(MAKE) -C docs/user clean    
+
 zlib:
 	cd $(ZLIB_DIR); $(MAKE) $(MAKE_ZLIB_ARG)