address@hidden: Re: address@hidden: Re: texinfo to docbook conversion - @r{} is not <lineannotation>]]

[Karl Berry]

Patrice - see Arnold's reply below.  I'm fine with @r being a no-op in
Docbook if you are.  (BTW, Arnold is not subscribed to any texinfo list,
so please keep him in cc when replying.  Sorry if I messed that up this
time.)

Thanks,
karl


Date: Fri, 07 Feb 2014 15:35:29 +0200
From: Aharon Robbins <address@hidden>

[...]

karl> What do you prefer?

> Date: Thu, 6 Feb 2014 23:33:58 +0100
> From: Patrice Dumas <address@hidden>
> To: address@hidden
> Subject: Re: texinfo to docbook conversion - @r{} is not <lineannotation>
>
> So, what do we do?  I see 3 possibilities
> * keep things as is
> * use <lineannotation> only in preformatted environements (@example...),
>   no element otherwise
> * never use <lineannotation>, @r becomes a no-op in DocBook.
>
> What looks best?

Of the three, having @r be a no-op is the best choice. I would
like to see lineannotation in the language but I can live without it.

Thanks,

Arnold