From 821714452f48774fae029fec374095c73f4ed464 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Thu, 15 Jul 2021 13:54:21 +0300 Subject: [PATCH] =?utf8?q?=D0=98=D1=81=D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0=BE?= =?utf8?q?=D0=B2=D0=B0=D1=82=D1=8C=20=D0=B8=D0=BC=D0=B5=D0=BD=D0=B0=20?= =?utf8?q?=D1=81=D0=B5=D0=BA=D1=86=D0=B8=D0=B9,=20=D0=B0=20=D0=BD=D0=B5=20?= =?utf8?q?=D0=BD=D0=BE=D0=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- all.do | 2 ++ 1 file changed, 2 insertions(+) diff --git a/all.do b/all.do index 5783615..07b7916 100644 --- a/all.do +++ b/all.do @@ -2,6 +2,8 @@ html=cryptoparty.html rm -f $html/*.html ${MAKEINFO:-makeinfo} --html \ --css-include style.css \ + --set-customization-variable SECTION_NAME_IN_TITLE=1 \ + --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ --set-customization-variable FORMAT_MENU=menu \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable SHOW_TITLE=0 \ -- 2.44.0