From 8f6f9f6c64cf40dbf41a5177bf3e44b43d7b23f2 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 22 Feb 2022 11:02:12 +0300 Subject: [PATCH] =?utf8?q?TOP=5FNODE=5FUP=5FURL=20=D0=BD=D0=B5=20=D0=BD?= =?utf8?q?=D1=83=D0=B6=D0=BD=D0=BE?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- all.do | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/all.do b/all.do index 07b7916..f5dc072 100644 --- a/all.do +++ b/all.do @@ -8,11 +8,10 @@ ${MAKEINFO:-makeinfo} --html \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ - --set-customization-variable TOP_NODE_UP_URL=index.html \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ -o $html index.texi ( cd static ; tar cf - . | tar xfC - ../$html ) cp -af logo.png $html/ -find $html -type d -exec chmod 755 {} \; -find $html -type f -exec chmod 644 {} \; +find $html -type d -exec chmod 755 {} + +find $html -type f -exec chmod 644 {} + -- 2.44.0