From 83841370ffe0bc58f16d661fe5d32000b0d24d51 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Nov 2022 13:46:01 +0300 Subject: [PATCH] Use Texinfo 7.0 features --- doc/gocheese.info.do | 3 +-- doc/www.do | 6 ++---- makedist.sh | 3 +-- 3 files changed, 4 insertions(+), 8 deletions(-) diff --git a/doc/gocheese.info.do b/doc/gocheese.info.do index 469a47b..ceb2617 100644 --- a/doc/gocheese.info.do +++ b/doc/gocheese.info.do @@ -3,6 +3,5 @@ ${MAKEINFO:-makeinfo} \ -D "VERSION `cat ../VERSION`" \ --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 \ --output $3 index.texi diff --git a/doc/www.do b/doc/www.do index e223b35..c0b8a81 100644 --- a/doc/www.do +++ b/doc/www.do @@ -7,11 +7,9 @@ ${MAKEINFO:=makeinfo} --html \ --set-customization-variable SECTION_NAME_IN_TITLE=1 \ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ --set-customization-variable FORMAT_MENU=menu \ - --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 $html index.texi + --set-customization-variable ASCII_PUNCTUATION=1 \ + --output $html index.texi ( cd $html/download export ATOM_ID="f9e3d8b1-9da7-4ec0-adf9-82aef5bfcc29" diff --git a/makedist.sh b/makedist.sh index 26c04c5..1a5bdbd 100755 --- 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`" $@ } -- 2.44.0