summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2f21bd2)
raw | patch | inline | side by side (parent: 2f21bd2)
author | Jonas Fonseca <fonseca@diku.dk> | |
Tue, 5 Feb 2008 10:59:22 +0000 (11:59 +0100) | ||
committer | Jonas Fonseca <fonseca@diku.dk> | |
Tue, 5 Feb 2008 10:59:22 +0000 (11:59 +0100) |
... instead of just $(prefix)/man. This location is also used by git.
Makefile | patch | blob | history |
diff --git a/Makefile b/Makefile
index 1801bb535d30b66088be7233b54af7835c214255..048e97a63e26e326e3cfd31b5bedf5e7c2eef4fb 100644 (file)
--- a/Makefile
+++ b/Makefile
prefix ?= $(HOME)
bindir ?= $(prefix)/bin
-mandir ?= $(prefix)/man
datarootdir ?= $(prefix)/share
docdir ?= $(datarootdir)/doc
+mandir ?= $(datarootdir)/man
# DESTDIR=
# Get version either via git or from VERSION file. Allow either