diff options
| author |  Carl Worth <cworth@cworth.org> | 2009-11-17 13:05:16 -0800 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2009-11-17 13:05:16 -0800 |
| commit | e12a6b91ac795fb6e930b810f6aca2939ca5900e (patch) | |
| tree | 6f5e4d99bdfe7d7c648f793380f786752248ec72 /Makefile.local | |
| parent | 9c2d0714fe6bf7ed5d12b8fdde656a22915733ff (diff) | |
Makefile: Change default install prefix from /usr to /usr/local
We'll be a much more polite package this way. And the user can change
the prefix by editing Makefile.config. Still to be done is to make
configure write out Makefile.config and to add a --prefix option to
configure.
Diffstat (limited to 'Makefile.local')
| -rw-r--r-- | Makefile.local | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.local b/Makefile.local index 6573f634..605a3af1 100644 --- a/Makefile.local +++ b/Makefile.local @@ -24,13 +24,13 @@ notmuch.1.gz: gzip --stdout notmuch.1 > notmuch.1.gz install: all notmuch.1.gz - for d in $(DESTDIR)/usr/bin/ $(DESTDIR)/usr/share/man/man1 \ + for d in $(DESTDIR)$(prefix)/bin/ $(DESTDIR)$(prefix)/share/man/man1 \ $(DESTDIR)/etc/bash_completion.d/ ; \ do \ install -C -d $$d ; \ done ; - install -C notmuch $(DESTDIR)/usr/bin/ - install -C notmuch.1.gz $(DESTDIR)/usr/share/man/man1/ + install -C notmuch $(DESTDIR)$(prefix)/bin/ + install -C notmuch.1.gz $(DESTDIR)$(prefix)/share/man/man1/ install -C notmuch-completion.bash \ $(DESTDIR)/etc/bash_completion.d/notmuch |