On Sat, 30 May 2026, Georg-Johann Lay wrote: >> And you'll need to escape "<" as "<" (and optionally ">" as ">" if >> you want to go for consistency.) > Ok. Though there are no literal <'s or >'s there; the <var> tags a > variable part that's not verbatim.
<facepalm> Of course! You're right (and so is the patch as you pushed it). >> "command-line option" > Ok. (I peeked into gcc-16/changes.html an found "command line option" :-)) Good point - and a bit of work ahead for me. :-) https://gcc.gnu.org/codingconventions.html#Spelling is the canonical source that I regularly consult myself when in doubt, and for this case we are relatively consistent: % grep -r "command line op" $WWWDOCS | wc -l 9 % grep -r "command-line op" $WWWDOCS | wc -l 158 I took a note to look into those 9 potential outliers. Gerald
