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
