diff options
author | Thomas Anderson <tanderson@caltech.edu> | 2015-04-07 17:28:07 -0700 |
---|---|---|
committer | Thomas Anderson <tanderson@caltech.edu> | 2015-04-07 17:28:07 -0700 |
commit | 12709cc751121d8c8c3ead02d9f1056c37e5ed89 (patch) | |
tree | f7e563174b698eaeb4809fd7b7b31e5aca652f0c /contrib/wrapper.py | |
parent | 3545e0330171bfdaced25a3fd2e62a98d0d4b1d7 (diff) |
Add support for differing PREFIX and MANPREFIX.
Sometimes we do not want man pages to go to $(PREFIX)/man, as in the
case of cross-compiling on distributions such as Exherbo.
Diffstat (limited to 'contrib/wrapper.py')
0 files changed, 0 insertions, 0 deletions