bug-texinfo
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]