allow installation of man and html doc from the man and html branches

diff --git a/Makefile b/Makefile
index cf320cd0b0713f8927c2987e6bb62fab9ae7d622..857bc0990a3c08960fc1c29a18d369ec981eb0ed 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1403,6 +1403,9 @@ install-info:
 quick-install-doc:
        $(MAKE) -C Documentation quick-install
 
+quick-install-html:
+       $(MAKE) -C Documentation quick-install-html
+
 
 
 ### Maintainer's dist rules