On 3/26/25 14:50, Sandra Loosemore wrote:
Here's another batch of patches to address PR42270, a complaint about the poor organization of the documentation for GNU extensions. My last set of patches for this was focused on grouping everything but the attributes and builtins documentation into categories. This set does those two groupings, plus a couple of other leftover cleanups.[snip]
I've pushed these patches now. -Sandra
