From 1363430fd27ff92e03f93be2ecbcbd5034e3587c Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Nov 2022 13:44:15 +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 ++---- index.texi | 2 ++ 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/all.do b/all.do index f5dc072..4d96ef1 100644 --- a/all.do +++ b/all.do @@ -6,11 +6,9 @@ ${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 ( cd static ; tar cf - . | tar xfC - ../$html ) cp -af logo.png $html/ find $html -type d -exec chmod 755 {} + diff --git a/index.texi b/index.texi index b069511..d0548c3 100644 --- a/index.texi +++ b/index.texi @@ -43,6 +43,8 @@ * Обратная связь: Feedback. @end menu +@insertcopying + @include rules.texi @include coordination.texi @include events.texi -- 2.44.0