X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=a63b692b5cfca77a5985942753c7e4b61d92ea6e;hb=e4ef45f0b7454a8df22d4e80406f2448cd5757fc;hp=697a7e8e23f48a1cde810e88e8b612d56ce02753;hpb=e9302029bc26a2f2d8403c80ced6420a7acfe4c7;p=mp-xquery-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
index 697a7e8..a63b692 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,6 +2,8 @@
 .PHONY: check all
 .SUFFIXES: .3mp .xml .1
 
+prefix = /usr
+
 XSLTPROC_COMPILE = xsltproc --xinclude -path "."
 HTML_COMPILE = $(XSLTPROC_COMPILE) id.htmlhelp.xsl
 MAN_COMPILE = $(XSLTPROC_COMPILE) id.man.xsl
@@ -31,3 +33,7 @@ distclean: clean
 
 check: all
 
+install:
+	mkdir -p $(DESTDIR)$(prefix)/share/man/man3
+	cp *.3mp $(DESTDIR)$(prefix)/share/man/man3/
+