From: Sergey Matveev <stargrave@stargrave.org>
Date: Tue, 6 Jul 2021 10:19:41 +0000 (+0300)
Subject: Forcefully show menu in Texinfo 6.8
X-Git-Tag: v7.2.0^2~9
X-Git-Url: http://www.git.cypherpunks.ru/?a=commitdiff_plain;h=83af2a3e275033ecd7ad39ba630e5926389c6ae6;p=nncp.git

Forcefully show menu in Texinfo 6.8
---

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"