From 496566b2e4e8827b4e9ef9e7cbff77cc6cd2b9a5 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Nov 2022 13:53:17 +0300 Subject: [PATCH] Use Texinfo 7.0 features --- maketxts.sh | 3 +-- www.do | 6 ++---- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/maketxts.sh b/maketxts.sh index d220097..f6a1dbb 100755 --- 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`" $@ } diff --git a/www.do b/www.do index 3ae1c57..342d2f2 100644 --- a/www.do +++ b/www.do @@ -7,10 +7,8 @@ ${MAKEINFO:-makeinfo} --html \ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ --set-customization-variable FORMAT_MENU=menu \ --set-customization-variable EXTRA_HEAD='' \ - --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ - --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ - --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ - -o pygost.html www.texi + --set-customization-variable ASCII_PUNCTUATION=1 \ + --output pygost.html www.texi find pygost.html -type d -exec chmod 755 {} + find pygost.html -type f -exec chmod 644 {} + -- 2.44.0