On Fri, 14 Oct 2016, James Greenhalgh wrote: > + value set for @code{-fexcess-precision=[standard|fast]}.",
I think the correct markup for the option here is: @option{-fexcess-precision=@r{[}standard@r{|}fast@r{]}} (that is, using @option not @code, and with the [ | ] not in a fixed-width font because they aren't part of the option name). -- Joseph S. Myers jos...@codesourcery.com