diff options
| author | Ville Skyttä <ville.skytta@iki.fi> | 2018-02-07 11:40:00 +0200 |
|---|---|---|
| committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2018-02-14 19:43:13 +0100 |
| commit | b6143aa55eb8efa715d2511844790dd92cdaa483 (patch) | |
| tree | 340f235d29d26e518f7e3c8a126bab84df15e0a5 /files | |
| parent | d988eb4029e049fcaf3a4f68a076b72cc32c3022 (diff) | |
configure: Make missing docbook2man an error if man build requested
Previously, if man page build was enabled but no suitable docbook2man or
the like tool was found, build failed at a later stage with
undescriptive error message. Fail early and explicitly at configure
stage instead.
Signed-off-by: Ville Skyttä <ville.skytta@iki.fi>
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'files')
0 files changed, 0 insertions, 0 deletions