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-txt/Exim4.upgrade | |
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-txt/Exim4.upgrade')
0 files changed, 0 insertions, 0 deletions