Surround the "Detailed Node Listing" section of the info page menu with
@detailmenu flags to avoid confusing texinfo. Resolves a large number
of warnings printed by texinfo-5.0.
+2013-02-24 Allan McRae <allan@archlinux.org>
+
+ * manual/libc-texinfo.sh: Use @detailmenu around the detailed
+ node listing of the info page menu.
+
2013-02-21 Joseph Myers <joseph@codesourcery.com>
[BZ #13550]
* Variable Index:: Index of variables and variable-like macros.
* File Index:: Index of programs and files.
+ @detailmenu
--- The Detailed Node Listing ---
EOF
cat ${OUTDIR}lmenu.$$
+ echo '@end detailmenu'
echo '@end menu'; } >${OUTDIR}top-menu.texi.$$
mv -f ${OUTDIR}top-menu.texi.$$ ${OUTDIR}top-menu.texi