diff options
author | Colin Walters <walters@verbum.org> | 2016-04-05 11:26:26 -0400 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2016-04-05 18:15:38 +0200 |
commit | c976f983eb04bfe7705cbbc38d8a37b172f564b8 (patch) | |
tree | 50af56e8dec1461600ec3af64cf06d5e4cb4c547 /.gitignore | |
parent | 9a68f12737201e8dd11715fc1078c444a3887a16 (diff) |
build: make man page hardlinks conditional on having man pages
Otherwise we fail since they don't exist. We have to carefully
implement an "or" condition for the cases of having prebuilt manpages
in a tarball, vs actually building them from source.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions