diff options
| author | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2017-06-25 19:57:57 +0200 |
|---|---|---|
| committer | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2017-06-25 19:59:49 +0200 |
| commit | 53d77ba6ef973fcbb4b0c17a60bc9229e45aa1ae (patch) | |
| tree | 4fdab178f0ae5c64afc4a114c9aa08c8e0a5e928 /doc/doc-docbook/x2man | |
| parent | e5de01f091f7569aeed877a26ce9909df3709d84 (diff) | |
Doc: check for w3m existence
w3m is called as non-last command in pipelines. A missing w3m
creates empty output and Make doesn't get it, because the last command
of the pipe (e.g. Tidytxt) doesn't return failure on empty input.
Diffstat (limited to 'doc/doc-docbook/x2man')
0 files changed, 0 insertions, 0 deletions