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