Use Texinfo 7.0 features

[gocheese.git] / makedist.sh

diff --git a/makedist.sh b/makedist.sh
index 26c04c5bb36ecb727efd4f23d22119ee2bf5339c..1a5bdbd594b18609cd1606e2e0cfb606becee4d8 100755 (executable)
--- a/makedist.sh
+++ b/makedist.sh
@@ -24,8 +24,7 @@ mkinfo() {
     ${MAKEINFO:=makeinfo} --plaintext \
         --set-customization-variable SECTION_NAME_IN_TITLE=1 \
         --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
-        --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
-        --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
+        --set-customization-variable ASCII_PUNCTUATION=1 \
         -D "VERSION `cat ../VERSION`" $@
 }