diff options
| author | Allan McRae <allan@archlinux.org> | 2013-02-22 14:45:17 +1000 |
|---|---|---|
| committer | Allan McRae <allan@archlinux.org> | 2013-02-24 21:05:58 +1000 |
| commit | b4d1fd337068d2663529616112cefb7daa33dce2 (patch) | |
| tree | 1ac5cf2f9835e0ba7b48ec1be68bf051024a6efe /manual | |
| parent | 2b7ae1b27f011919dbd6e87bc76c6f76b66ab186 (diff) | |
Add @detailmenu to subsection node listing
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.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/libc-texinfo.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/libc-texinfo.sh b/manual/libc-texinfo.sh index 60e224bb8d..1ef09fcbb4 100644 --- a/manual/libc-texinfo.sh +++ b/manual/libc-texinfo.sh @@ -91,9 +91,11 @@ Indices * 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 |