From: Sergey Matveev Date: Tue, 8 Nov 2022 10:44:15 +0000 (+0300) Subject: Использовать нововведения Texinfo 7.0 X-Git-Url: http://www.git.cypherpunks.ru/?p=cryptoparty-www.git;a=commitdiff_plain;h=1363430fd27ff92e03f93be2ecbcbd5034e3587c Использовать нововведения Texinfo 7.0 --- 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