From 2ec182dbb0a38399ed0108752c7405ada14e537d Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Thu, 15 Jul 2021 14:42:12 +0300 Subject: [PATCH] Unnecessary TOP_NODE_UP_URL --- doc/nncp.html.do | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/nncp.html.do b/doc/nncp.html.do index fe34710..1a866ed 100644 --- a/doc/nncp.html.do +++ b/doc/nncp.html.do @@ -5,6 +5,5 @@ MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable TREE_TRANSFORMATIONS= MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable FORMAT_MENU=menu" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable SHOW_TITLE=0" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable DATE_IN_HEADER=1" -MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable TOP_NODE_UP_URL=index.html" MAKEINFO_OPTS="$MAKEINFO_OPTS" . nncp.info.do cp -r .well-known $3 -- 2.44.0