projects / exim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5de01f) | patch
Doc: check for w3m existence
authorHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 25 Jun 2017 17:57:57 +0000 (19:57 +0200)
committerHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 25 Jun 2017 17:59:49 +0000 (19:59 +0200)
commit53d77ba6ef973fcbb4b0c17a60bc9229e45aa1ae
tree4fdab178f0ae5c64afc4a114c9aa08c8e0a5e928tree | snapshot (zip tar.gz)
parente5de01f091f7569aeed877a26ce9909df3709d84commit | 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.
doc/doc-docbook/Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.