[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @verb and @w in DocBook output
From: |
Gavin Smith |
Subject: |
Re: @verb and @w in DocBook output |
Date: |
Sat, 14 Jan 2023 10:20:40 +0000 |
On Sat, Jan 14, 2023 at 10:55:03AM +0100, Patrice Dumas wrote:
> On Fri, Jan 13, 2023 at 09:01:41PM +0000, Gavin Smith wrote:
> >
> > Are there any thoughts on the change at the bottom of this mail?
>
> Actually, it is not ok, if there is an @-command within the @w, the
> spaces used in formatting will be replaced too. Need to add a
> state and do the substitution in the processing of 'text' type. I can
> do it.
Thanks, I'll leave it to you.