Texinfo 6.8 compatibility

diff --git a/gocheese.info.do b/gocheese.info.do
index 7cbe4cac010030f8c89d19a3a49eddbb3a3ed1de..8b00bd7ee11819de55563a8e23e4aa675ae93ff4 100644 (file)
--- a/gocheese.info.do
+++ b/gocheese.info.do
@@ -1,6 +1,8 @@
 redo-ifchange *.texi VERSION
 ${MAKEINFO:-makeinfo} \
     -D "VERSION `cat VERSION`" \
 redo-ifchange *.texi VERSION
 ${MAKEINFO:-makeinfo} \
     -D "VERSION `cat VERSION`" \

+    --set-customization-variable SECTION_NAME_IN_TITLE=1 \
+    --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \

     --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
     --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
     --output $3 gocheese.texi
     --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
     --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
     --output $3 gocheese.texi

diff --git a/gocheese.texi b/gocheese.texi
index 587e9431cc02846c4720ca1e8db9b9cc15dfc157..8f4aecdcbbb43d8a97f6eff45c2f45c12bb3ee0a 100644 (file)
--- a/gocheese.texi
+++ b/gocheese.texi
@@ -7,7 +7,7 @@ Copyright @copyright{} 2019-2021 @email{stargrave@@stargrave.org, Sergey Matveev
 @end copying
 
 @node Top
 @end copying
 
 @node Top

-@top
+@top GoCheese

 
 GoCheese is Python private package repository and caching proxy.
 
 
 GoCheese is Python private package repository and caching proxy.
 

diff --git a/www.do b/www.do
index 46b7abf55e3ba9f295b209a9872f661bfcbb15f8..34f06bc6042a3f92170b6525adab57af0e392ca4 100644 (file)
--- a/www.do
+++ b/www.do
@@ -4,6 +4,9 @@ rm -f $html/*.html
 ${MAKEINFO:=makeinfo} --html \
     -D "VERSION `cat VERSION`" \
     --css-include style.css \
 ${MAKEINFO:=makeinfo} --html \
     -D "VERSION `cat VERSION`" \
     --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 SHOW_TITLE=0 \
     --set-customization-variable DATE_IN_HEADER=1 \
     --set-customization-variable TOP_NODE_UP_URL=index.html \
     --set-customization-variable SHOW_TITLE=0 \
     --set-customization-variable DATE_IN_HEADER=1 \
     --set-customization-variable TOP_NODE_UP_URL=index.html \