separate build targets for man and html documentation

diff --git a/Makefile b/Makefile
index cf320cd0b0713f8927c2987e6bb62fab9ae7d622..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
 
@@ -1403,6 +1409,9 @@ install-info:
 quick-install-doc:
        $(MAKE) -C Documentation quick-install
 
+quick-install-html:
+       $(MAKE) -C Documentation quick-install-html
+
 
 
 ### Maintainer's dist rules