diff options
-rwxr-xr-x | utils/syncdocs.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/syncdocs.sh b/utils/syncdocs.sh index ed76bf85..0f85948b 100755 --- a/utils/syncdocs.sh +++ b/utils/syncdocs.sh @@ -45,7 +45,11 @@ else fi if type w3m >/dev/null 2>&1 ; then - converter="w3m -o display_link_number=1 -dump -T text/html" + converter="w3m -O UTF-8 -o display_link_number=1 -dump -T text/html" + # Adding these sed commands seem to generate the exact output expected: + # sed 's/^\(.\+\)/ \1/; s/^ \([QA]:\)/\1/'| + # sed 'x;s/^\(Q:.*\)/\1/g;t srch_qe;x;:srch_qs s/^\(Q:.*\)/\1/g;t + # fnd_qs;p;x;d;:srch_qe;x;s/^$//;t fnd_qe;p;d;:fnd_qs;p;x;d;:fnd_qe;x;d' any=true elif type lynx >/dev/null 2>&1 ; then converter="lynx -dump -stdin -force_html" |