On Sun, Jun 29, 2025 at 11:55:11PM +0200, Patrice Dumas wrote: > On Sat, Jun 28, 2025 at 07:54:36PM +0100, Gavin Smith wrote: > > > I checked that a tag that is not 'Node:' or 'Ref:' has the Info reader > > > (but not the Emacs Info reader) stop going through tags immediatly. > > > This means that a new tag would break the Info readers from previous > > > releases. > > Independently of this subject, I thnk that it would be much better if > the Info reader did not break with unknown tags, but instead should > ignore them, such that it is possible to add new ones later on. > > I propose to skip unknown tag lines with : instead of considering that > the end of the tag table was reached. Would that be ok?
I think that would be a good idea.
