TREE_TRANSFORMATIONS can generate menus again

diff --git a/doc/news.ru.texi b/doc/news.ru.texi
index 47aff54c5ccd967782be0eb09b08a9db6a5d3218..59dae28d3b1c5e7bb405d539e95d59871059fab5 100644 (file)
--- a/doc/news.ru.texi
+++ b/doc/news.ru.texi
@@ -1,60 +1,6 @@
 @node Новости
 @section Новости
 
-@menu
-* Релиз 7.3.2::
-* Релиз 7.3.1::
-* Релиз 7.3.0::
-* Релиз 7.2.1::
-* Релиз 7.2.0::
-* Релиз 7.1.1::
-* Релиз 7.1.0::
-* Релиз 7.0.0::
-* Релиз 6.6.0::
-* Релиз 6.5.0::
-* Релиз 6.4.0::
-* Релиз 6.3.0::
-* Релиз 6.2.1::
-* Релиз 6.2.0::
-* Релиз 6.1.0::
-* Релиз 6.0.0::
-* Релиз 5.6.0::
-* Релиз 5.5.1::
-* Релиз 5.5.0::
-* Релиз 5.4.1::
-* Релиз 5.4.0::
-* Релиз 5.3.3::
-* Релиз 5.3.2::
-* Релиз 5.3.1::
-* Релиз 5.3.0::
-* Релиз 5.2.1::
-* Релиз 5.2.0::
-* Релиз 5.1.2::
-* Релиз 5.1.1::
-* Релиз 5.1.0::
-* Релиз 5.0.0::
-* Релиз 4.1::
-* Релиз 4.0::
-* Релиз 3.4::
-* Релиз 3.3::
-* Релиз 3.2::
-* Релиз 3.1::
-* Релиз 3.0::
-* Релиз 2.0::
-* Релиз 1.0::
-* Релиз 0.12::
-* Релиз 0.11::
-* Релиз 0.10::
-* Релиз 0.9::
-* Релиз 0.8::
-* Релиз 0.7::
-* Релиз 0.6::
-* Релиз 0.5::
-* Релиз 0.4::
-* Релиз 0.3::
-* Релиз 0.2::
-@end menu
-
 @node Релиз 7.3.2
 @subsection Релиз 7.3.2
 @itemize

diff --git a/doc/news.texi b/doc/news.texi
index 2d5ad81607a2ab81464b8075dd151156119df4c3..4b6bb4c9761ed59d445dcee2e7d9503a6b4a90d5 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -3,60 +3,6 @@
 
 See also this page @ref{Новости, on russian}.
 
-@menu
-* Release 7.3.2: Release 7_3_2.
-* Release 7.3.1: Release 7_3_1.
-* Release 7.3.0: Release 7_3_0.
-* Release 7.2.1: Release 7_2_1.
-* Release 7.2.0: Release 7_2_0.
-* Release 7.1.1: Release 7_1_1.
-* Release 7.1.0: Release 7_1_0.
-* Release 7.0.0: Release 7_0_0.
-* Release 6.6.0: Release 6_6_0.
-* Release 6.5.0: Release 6_5_0.
-* Release 6.4.0: Release 6_4_0.
-* Release 6.3.0: Release 6_3_0.
-* Release 6.2.1: Release 6_2_1.
-* Release 6.2.0: Release 6_2_0.
-* Release 6.1.0: Release 6_1_0.
-* Release 6.0.0: Release 6_0_0.
-* Release 5.6.0: Release 5_6_0.
-* Release 5.5.1: Release 5_5_1.
-* Release 5.5.0: Release 5_5_0.
-* Release 5.4.1: Release 5_4_1.
-* Release 5.4.0: Release 5_4_0.
-* Release 5.3.3: Release 5_3_3.
-* Release 5.3.2: Release 5_3_2.
-* Release 5.3.1: Release 5_3_1.
-* Release 5.3.0: Release 5_3_0.
-* Release 5.2.1: Release 5_2_1.
-* Release 5.2.0: Release 5_2_0.
-* Release 5.1.2: Release 5_1_2.
-* Release 5.1.1: Release 5_1_1.
-* Release 5.1.0: Release 5_1_0.
-* Release 5.0.0: Release 5_0_0.
-* Release 4.1: Release 4_1.
-* Release 4.0: Release 4_0.
-* Release 3.4: Release 3_4.
-* Release 3.3: Release 3_3.
-* Release 3.2: Release 3_2.
-* Release 3.1: Release 3_1.
-* Release 3.0: Release 3_0.
-* Release 2.0: Release 2_0.
-* Release 1.0: Release 1_0.
-* Release 0.12: Release 0_12.
-* Release 0.11: Release 0_11.
-* Release 0.10: Release 0_10.
-* Release 0.9: Release 0_9.
-* Release 0.8: Release 0_8.
-* Release 0.7: Release 0_7.
-* Release 0.6: Release 0_6.
-* Release 0.5: Release 0_5.
-* Release 0.4: Release 0_4.
-* Release 0.3: Release 0_3.
-* Release 0.2: Release 0_2.
-@end menu
-
 @node Release 7_3_2
 @section Release 7.3.2
 @itemize

diff --git a/doc/nncp.html.do b/doc/nncp.html.do
index 2a123c4c4fc8fce1d138ca5110e21d806a25a5d3..a36fd22c8b22215aa5f407ab39d94dc544643586 100644 (file)
--- 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 TREE_TRANSFORMATIONS=complete_tree_nodes_menus"
 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"