From 542be497c58a076f8f009b425cb84e602d529a1d Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 31 May 2022 16:32:45 +0300 Subject: [PATCH] =?utf8?q?=D0=9D=D0=B5=D1=82=20=D0=BD=D0=B0=D0=B4=D0=BE?= =?utf8?q?=D0=B1=D0=BD=D0=BE=D1=81=D1=82=D0=B8=20=D0=B2=20TOP=5FNODE=5FUP?= =?utf8?q?=5FURL?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- all.do | 1 - 1 file changed, 1 deletion(-) diff --git a/all.do b/all.do index d42764b..d7b84e6 100644 --- a/all.do +++ b/all.do @@ -8,7 +8,6 @@ ${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 -- 2.44.0