+2024-12-30 Bruno Haible <bruno@clisp.org>
+
+ doc: Revisit some index entries.
+ * doc/attribute.texi: Refer to the 'attribute' module.
+ * doc/verify.texi: Refer to the 'verify' module.
+ * doc/noreturn.texi: Remove duplicate index entries.
+
2024-12-30 Bruno Haible <bruno@clisp.org>
doc: Document the 'inline' module.
@cindex Attributes
@findex __attribute__
-
-This module provides a header file @file{attribute.h} that defines
-macros related to C and C++ attributes and the GCC
+@mindex attribute
+The module @samp{attribute} provides a header file @file{attribute.h} that
+defines macros related to C and C++ attributes and the GCC
@code{__attribute__} keyword.
Here is an example of its use:
-@c GNU noreturn, stdnoreturn modules documentation
+@c GNU noreturn, stdnoreturn-h modules documentation
@c Copyright (C) 2019--2024 Free Software Foundation, Inc.
@node Non-returning Functions
@section Non-returning Functions
-@cindex @code{_Noreturn}
-@mindex @code{noreturn}
-@mindex @code{stdnoreturn-h}
A "non-returning" function is a function which cannot return normally.
Instead of returning, it can loop forever, or it can transfer control via
@code{abort}, @code{execvp}, @code{exit}, @code{longjmp}, @code{throw}
@itemize @bullet
@item
+@cindex @code{_Noreturn}
The @code{_Noreturn} keyword. No modules are needed, as Gnulib
arranges for @code{<config.h>} to define @code{_Noreturn} to an
appropriate replacement on platforms lacking it.
@cindex assertion
@findex verify
@findex verify_expr
-
-This module provides a header file @file{verify.h} that defines
+@mindex verify
+The module @samp{verify} provides a header file @file{verify.h} that defines
macros related to compile-time verification.
Two of these macros are @code{verify (@var{V})} and @code{verify_expr