Re: @part command and docbook

[Dumas Patrice]

On Mon, May 05, 2014 at 11:43:20PM +0000, Karl Berry wrote:
> 
> Does that work?  That seems to me to best reflect the reality of the
> situation, which is that "partintro" text is a Docbook feature, not
> supported in Texinfo.
> 
>       - we revisit the "no text after @part" rule and decide something 
>         for Info.  I think that the best would be simply ignore text
> 
> If the above works for Arnold ... how about giving a warning if there is
> text after @part?  (Then I don't have a preference as to whether it is
> ignored or not ignored.)

But then the solution you (or I, in the other mail) propose with

@docbook
...
@end docbook

would trigger the warning.  Is it what you have in mind?

-- 
Pat