From ce954e16992da0d00e7d365fa44aea49049ddc6b Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Wed, 15 Sep 2021 18:17:52 +0300 Subject: [PATCH] Unnecessary TOP_NODE_UP_URL --- www.do | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/www.do b/www.do index 1d288ed..3ae1c57 100644 --- a/www.do +++ b/www.do @@ -9,9 +9,8 @@ ${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 pygost.html www.texi -find pygost.html -type d -exec chmod 755 {} \; -find pygost.html -type f -exec chmod 644 {} \; +find pygost.html -type d -exec chmod 755 {} + +find pygost.html -type f -exec chmod 644 {} + -- 2.44.0