Yet another Texinfo simplification

diff --git a/makedist.sh b/makedist.sh
index 245ae6c547a0d2896b88db7609dd792b4b94644a..997ce75b4e9a51645bd2d4586b043fea6555ec9a 100755 (executable)
--- 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`" $@
 }