Commit c08abe38ebc2cfd8e0901230f48374d632e95868

Bruno Haible 2024-12-30T15:38:51

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.