diff options
author | Carl Worth <cworth@cworth.org> | 2010-04-06 12:47:16 -0700 |
---|---|---|
committer | Carl Worth <cworth@cworth.org> | 2010-04-06 14:42:09 -0700 |
commit | 1d1ad74db9b85804fdec7e3311223caa7a591c82 (patch) | |
tree | 4eae3e2f15505363890b8b4c7d23e5e43968ca9f /Makefile.local | |
parent | 14e98e454e86d2322ecb6b9dc2364280cde4afbd (diff) |
configure: Add support for a --mandir option
Again, nothing tricky here.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.local b/Makefile.local index 16b0103b..1c3d5f5b 100644 --- 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) |