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
[email protected]
