On Thu, Sep 11, 2014 at 4:31 PM, James Darnley <james.darnley at gmail.com> wrote: > It gets rendered inline in HTML and becomes not very clear. > --- > doc/developer.texi | 3 +++ > 1 file changed, 3 insertions(+) OK. [...] Timothy