On Sun, Oct 25, 2026 at 09:44:48AM +0200, Eli Zaretskii wrote: > > I think we should do it. I wanted to see if anybody else had an opinion on > > it.
I attach two new texi files and generated info files I did while implementing and fixing bugs, in case they are useful. -- Pat
punctuation_in_node_name_in_printindex.texi
Description: application/texinfo
punctuation_in_node_name_in_printindex.info
Description: application/info
dot_and_dot_space_in_node_menu_entry.texi
Description: application/texinfo
dot_and_dot_space_in_node_menu_entry.info
Description: application/info
