 |
tChange default MANPREFIX to be ${PREFIX}/man - stagit - static git page genera… |
 |
git clone git://src.adamsgaard.dk/stagit |
 |
Log |
|
Files |
|
Refs |
|
README |
|
LICENSE |
|
--- |
|
commit ee4c340ce6d24adf89df21d76e8849296efb0a34 |
|
parent f631d4ce702893c2207b1a12f2c048829c5f5ac7 |
|
Author: sin <[email protected]> |
|
Date: Wed, 6 Jan 2016 14:57:25 +0000 |
|
|
|
Change default MANPREFIX to be ${PREFIX}/man |
|
|
|
Diffstat: |
|
M config.mk | 2 +- |
|
|
|
1 file changed, 1 insertion(+), 1 deletion(-) |
|
--- |
|
diff --git a/config.mk b/config.mk |
|
t@@ -2,7 +2,7 @@ |
|
|
|
# paths |
|
PREFIX = /usr/local |
|
-MANPREFIX = ${PREFIX}/share/man |
|
+MANPREFIX = ${PREFIX}/man |
|
|
|
GITINC = /usr/local/include |
|
GITLIB = /usr/local/lib |
