diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 12:20:01 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 12:20:01 -0700 |
| commit | 0492ab868ba6881e6fbd943dbeb8daf1087cb1f5 (patch) | |
| tree | 73b4466ca885e0cfe6c9cfe1ea9a1569de9dfc70 /make_osx_package.sh | |
| parent | fc17b3bd410fba5046a385519d603233c9a39285 (diff) | |
Setup.hs: ensure make-man-pages not installed in bindir.
Diffstat (limited to 'make_osx_package.sh')
0 files changed, 0 insertions, 0 deletions