1 files changed, 6 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 857bc0990a..792cbe2f1e 100644
--- a/Makefile
+++ b/Makefile
@@ -1267,6 +1267,12 @@ $(XDIFF_LIB): $(XDIFF_OBJS)
 doc:
 	$(MAKE) -C Documentation all
 
+man:
+	$(MAKE) -C Documentation man
+
+html:
+	$(MAKE) -C Documentation html
+
 info:
 	$(MAKE) -C Documentation info