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

Reply via email to