diff options
| author | Kevin McCarthy <kevin@8t8.us> | 2020-07-25 09:29:21 -0700 |
|---|---|---|
| committer | Kevin McCarthy <kevin@8t8.us> | 2020-07-25 09:29:21 -0700 |
| commit | e050c314f9fa3a06f7f1e3c7c7dde64fd17c3695 (patch) | |
| tree | 2464335f4f9ba5f08e49690138fcf567bb6f2b37 /doc | |
| parent | daab98e3072629a351025cc3b9703fd0cbd60161 (diff) | |
Improve w3m invocation for manual.txt generation.
This fix is also from Ambrose Li (@gniw). The invocation makes sure
w3m won't attempt a remote connection if manual.html doesn't exist and
a proxy is configured, by using manual.txt as stdin.
It also gives a non-zero exit status in that case, and makes sure
input is processed as utf-8.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 16becc10..e5ba5436 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -152,7 +152,7 @@ uninstall-local: check: manual.txt: manual.html -LC_ALL=C lynx -localhost -dump -nolist -with_backspaces -display_charset=us-ascii manual.html > $@ || \ - LC_ALL=C w3m -dump manual.html > $@ || \ + LC_ALL=C w3m -T text/html -I utf-8 -O utf-8 -dump < manual.html > $@ || \ LC_ALL=C elinks -dump -no-numbering -no-references manual.html | sed -e 's,\\001, ,g' > $@ Muttrc: stamp-doc-rc |