fix: Shake: adapt to texinfo 7, fixing info manual generation (#2023)

This commit is contained in:
Simon Michael 2023-04-06 14:03:24 -10:00
parent fb56fff93a
commit 270a92292f

View File

@ -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"