On Sat, 30 May 2026, Georg-Johann Lay wrote:
>> And you'll need to escape "<" as "&lt;" (and optionally ">" as "&gt;" 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

Reply via email to