diff --git a/Documentation/Makefile b/Documentation/Makefile
index e33ddcb250bf14e5374df7b86f54a49ed5f7cb07..c34c1cae2072fa27de32f553866426bbc01436d5 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
info: git.info gitman.info
-install: man
+install: install-man
+
+install-man: man
$(INSTALL) -d -m 755 $(DESTDIR)$(man1dir)
$(INSTALL) -d -m 755 $(DESTDIR)$(man5dir)
$(INSTALL) -d -m 755 $(DESTDIR)$(man7dir)
install-webdoc : html
sh ./install-webdoc.sh $(WEBDOC_DEST)
-quick-install:
+quick-install: quick-install-man
+
+quick-install-man:
sh ./install-doc-quick.sh $(DOC_REF) $(DESTDIR)$(mandir)
quick-install-html: