configure: Add support for a --mandir option

[notmuch] / Makefile.local

diff --git a/Makefile.local b/Makefile.local
index 16b0103b8599f7fdedd2ca8a42fdcdd60b4e0251..1c3d5f5b6e9f435f7b02bb45f84f9752afdfaf41 100644 (file)
--- a/Makefile.local
+++ b/Makefile.local
@@ -172,8 +172,8 @@ notmuch.1.gz: notmuch.1
 
 .PHONY: install
 install: all notmuch.1.gz
-       mkdir -p $(DESTDIR)$(prefix)/share/man/man1
-       install -m0644 notmuch.1.gz $(DESTDIR)$(prefix)/share/man/man1/
+       mkdir -p $(DESTDIR)$(mandir)/man1
+       install -m0644 notmuch.1.gz $(DESTDIR)$(mandir)/man1/
        mkdir -p $(DESTDIR)$(prefix)/bin/
        install notmuch-shared $(DESTDIR)$(prefix)/bin/notmuch
 ifeq ($(MAKECMDGOALS), install)