From 270a92292f10dd1d4ce9a53731c89d07feaca861 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 6 Apr 2023 14:03:24 -1000
Subject: [PATCH] fix: Shake: adapt to texinfo 7, fixing info manual generation
 (#2023)

---
 Shake.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index ae6852eca..722fb6b63 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -103,7 +103,7 @@ usage =
 
 -- groff    = "groff -c" ++ " -Wall"  -- see "groff" below
 m4 = "m4 -P"
-makeinfo = "makeinfo --no-split --force --no-warn --no-validate"  -- silence makeinfo warnings, comment these to see them
+makeinfo = "makeinfo -cASCII_PUNCTUATION=1 --no-split --force --no-warn --no-validate"  -- silence makeinfo warnings, comment these to see them
 pandoc   = "pandoc --strip-comments"
 gitcommit = "git commit --allow-empty"