> Hmm, maybe conditionalize it based
> on @ifinfo and @ifhtml?

Indeed, this works:


2018-09-14  Bruno Haible  <[email protected]>

        doc: Fix bottom of top-level page.
        Reported by Akim Demaille <[email protected]> in
        <http://lists.gnu.org/archive/html/bug-gnulib/2018-09/msg00072.html>.
        * doc/pastposix-functions/index.texi: Rename node to '_index' in HTML
        mode.
        * doc/gnulib.texi (Legacy Function Substitutes): Update menu
        accordingly.

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 52ecf84..4ddb34d 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -3396,7 +3396,12 @@ problems are not worked around by Gnulib.
 * gethostbyname::
 * getwd::
 * h_errno::
+@ifhtml
+* _index::
+@end ifhtml
+@ifnothtml
 * index::
+@end ifnothtml
 * makecontext::
 * mktemp::
 * pthread_attr_getstackaddr::
diff --git a/doc/pastposix-functions/index.texi 
b/doc/pastposix-functions/index.texi
index c1aab72..a7becb8 100644
--- a/doc/pastposix-functions/index.texi
+++ b/doc/pastposix-functions/index.texi
@@ -1,4 +1,9 @@
+@ifhtml
+@node _index
+@end ifhtml
+@ifnothtml
 @node index
+@end ifnothtml
 @section @code{index}
 @findex index
 


Reply via email to