separate build targets for man and html documentation

diff --git a/Makefile b/Makefile
index 857bc0990a3c08960fc1c29a18d369ec981eb0ed..792cbe2f1e0f5c734d8a06008c220e77278e9f5c 100644 (file)
--- 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