Use Texinfo 7.0 features

[pygost.git] / maketxts.sh

diff --git a/maketxts.sh b/maketxts.sh
index d220097ddbed0779318330dcab49bbaa167b6957..f6a1dbbdd68c1ae336d398c411f956b3d1b9d13c 100755 (executable)
--- a/maketxts.sh
+++ b/maketxts.sh
@@ -2,8 +2,7 @@
 
 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`" $@
 }