From a0a35b9bc136db0f6e617a404b15130be406de60 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Nov 2022 14:03:00 +0300 Subject: [PATCH] =?utf8?q?=D0=98=D1=81=D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0=BE?= =?utf8?q?=D0=B2=D0=B0=D1=82=D1=8C=20=D0=BD=D0=BE=D0=B2=D0=BE=D0=B2=D0=B2?= =?utf8?q?=D0=B5=D0=B4=D0=B5=D0=BD=D0=B8=D1=8F=20Texinfo=207.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- all.do | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/all.do b/all.do index 7d5a878..e81e653 100644 --- a/all.do +++ b/all.do @@ -6,10 +6,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 $html index.texi + --set-customization-variable ASCII_PUNCTUATION=1 \ + --output $html index.texi find $html -type d -exec chmod 755 {} + find $html -type f -exec chmod 644 {} + -- 2.44.0