From: Sergey Matveev Date: Mon, 14 Nov 2022 19:03:09 +0000 (+0300) Subject: Yet another Texinfo simplification X-Git-Tag: v8.8.2^2~1 X-Git-Url: http://www.git.cypherpunks.ru/?p=nncp.git;a=commitdiff_plain;h=2b5eb99b73bedc9b6d293df725e43262385d1389 Yet another Texinfo simplification --- diff --git a/makedist.sh b/makedist.sh index 245ae6c..997ce75 100755 --- a/makedist.sh +++ b/makedist.sh @@ -58,8 +58,7 @@ texi=$(TMPDIR=doc mktemp) mkinfo() { ${MAKEINFO:-makeinfo} --plaintext \ - --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ - --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ + --set-customization-variable ASCII_PUNCTUATION=1 \ -D "VERSION `cat VERSION`" $@ }