From 2b5eb99b73bedc9b6d293df725e43262385d1389 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 14 Nov 2022 22:03:09 +0300
Subject: [PATCH] Yet another Texinfo simplification

---
 makedist.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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`" $@
 }
 
-- 
2.44.0