Commit c08abe38ebc2cfd8e0901230f48374d632e95868
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.