On Thu, May 16, 2024 at 10:42 PM David Rowley <dgrowle...@gmail.com> wrote: > > On Thu, 16 May 2024 at 19:05, Peter Smith <smithpb2...@gmail.com> wrote: > > > > On Thu, May 16, 2024 at 3:11 PM David Rowley <dgrowle...@gmail.com> wrote: > > > If you want to do this, what's the reason to limit it to just this one > > > page of the docs? > > > > Yeah, I had a vested interest in this one place because I've been > > reviewing the other thread [1] that was mentioned above. If that other > > thread chooses "true|false" then putting "true|false" adjacent to > > another "on|off" will look silly. > > OK, looking a bit further I see this option is new to v17. After a > bit more study of the sgml, I agree that it's worth changing this. > > I've pushed your patch. >
Thanks very much for pushing. It was just a one-time thing -- I won't go looking for more examples like it. ====== Kind Regards, Peter Smith. Fujitsu Australia