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 | |
| 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.
| -rw-r--r-- | doc/doc-docbook/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/doc-docbook/Makefile b/doc/doc-docbook/Makefile index d835db9ed..ee97257b6 100644 --- a/doc/doc-docbook/Makefile +++ b/doc/doc-docbook/Makefile @@ -96,6 +96,7 @@ filter.txt: filter-txt.xml Tidytxt MyStyle-txt-html.xsl MyStyle-html.xsl \ MyStyle.xsl /bin/rm -rf filter-txt.html xmlto -x MyStyle-txt-html.xsl html-nochunks filter-txt.xml + command -v w3m >/dev/null LC_ALL=C w3m -dump filter-txt.html | ./Tidytxt >filter.txt ./SanityTestText filter.txt @@ -181,9 +182,11 @@ spec.utf8: spec-txt.html Tidytxt @grep -iq 'LC_CTYPE=.*utf-\?8' local_params || { \ echo 'your current locale does not support UTF-8' >&2; \ false; } + command -v w3m >/dev/null w3m -dump $< | ./Tidytxt -utf8 >$@ spec.txt: spec-txt.html Tidytxt + command -v w3m >/dev/null LC_ALL=C w3m -dump $< | ./Tidytxt >$@ ./SanityTestText spec.txt @@ -270,6 +273,7 @@ test.txt: test-txt.xml Tidytxt MyStyle-txt-html.xsl MyStyle-html.xsl \ MyStyle.xsl /bin/rm -rf test-txt.html xmlto -x MyStyle-txt-html.xsl html-nochunks test-txt.xml + command -v w3m >/dev/null w3m -dump test-txt.html | Tidytxt >test.txt # I have not found a way of making docbook2texi write its output anywhere |