Makefile: add quick-install-doc for installing pre-built manpages

diff --git a/Makefile b/Makefile
index 4362297e00d642502f92dc1f4d88dfb727464edd..ebc1a17e701beb5edbb03bc94cad368424e6bc7b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -824,6 +824,8 @@ install: all
 install-doc:
        $(MAKE) -C Documentation install
 
+quick-install-doc:
+       $(MAKE) -C Documentation quick-install