On Fri, 1 Aug 2014, Rainer Orth wrote:
> +NOTE: With configure --enable-default-pie this option is enabled by default
>
> With the @option{--enable-default-pie} configure option, ...
And just "Note: " or perhaps "@emph{Note}:" as in many other cases.
Gerald
