On Fri, May 16, 2025 at 07:45:23PM +0000, keenban--- via Bug reports for the GNU Texinfo documentation system wrote: > Hello GNU texinfo team. > This is my first bug report, so hopefully I am sending to the correct > location and with the correct information. > In the Node: "Top," there are menu sections "GNU Libraries," and "GNU > libraries." These sections are distinct, but only differ in the > capitalization of "Libraries." I believe they should be combined into a > single section. > Thank you for your time, > Keenan.
That's something we've got no control over. The text used in those sections is added to the dir file from the dir category that appears in the Info file. It's up to authors of those Info files to use consistent categories if they are going to be in the same section in the dir file.
