diff --git a/Documentation/Makefile b/Documentation/Makefile
index d68bc4a788743412719b3590487ec6dc7efee3e1..93c7024b481157ca44dc40e844fa279616a03b3d 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
# DESTDIR=
INSTALL?=install
# DESTDIR=
INSTALL?=install
+DOC_REF = origin/man
-include ../config.mak.autogen
-include ../config.mak.autogen
install-webdoc : html
sh ./install-webdoc.sh $(WEBDOC_DEST)
install-webdoc : html
sh ./install-webdoc.sh $(WEBDOC_DEST)
+
+quick-install:
+ sh ./install-doc-quick.sh $(DOC_REF) $(mandir)