diff options
| author | Dan Fandrich <dan@coneharvesters.com> | 2017-02-26 21:30:31 +0100 |
|---|---|---|
| committer | Dan Fandrich <dan@coneharvesters.com> | 2017-02-26 21:30:31 +0100 |
| commit | 4fa2de3698c7fdf2985a6d0ba742fb4ea214b8d5 (patch) | |
| tree | 61cbd42bd2f9be87f70a628995d118371e1f5244 /docs/MANUAL | |
| parent | 1f8023ceb5dc6b142c51fe161e0574b4d7f14b5e (diff) | |
test1139: allow for the possibility that the man page is not rebuilt
This is likely to be the case when building from a tar ball release
package which includes a prebuilt man page. In that case, test the
packaged man page instead. This only makes a difference when building
out-of-tree (in-tree, the location in both cases is identical).
Diffstat (limited to 'docs/MANUAL')
0 files changed, 0 insertions, 0 deletions