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 cat
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,
