From 83af2a3e275033ecd7ad39ba630e5926389c6ae6 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 6 Jul 2021 13:19:41 +0300 Subject: [PATCH] Forcefully show menu in Texinfo 6.8 --- doc/nncp.html.do | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/nncp.html.do b/doc/nncp.html.do index 17b042b..2a123c4 100644 --- a/doc/nncp.html.do +++ b/doc/nncp.html.do @@ -1,5 +1,6 @@ rm -fr nncp.html MAKEINFO_OPTS="$MAKEINFO_OPTS --html --css-include style.css" +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" -- 2.48.1