On Mon, Jul 20, 2009 at 05:37:33PM -0500, Karl Berry wrote: > > I suppose it could be an option that you could enable, but I don't > think it should be done by default. Comments and @ignore blocks are
Not an option, a function to be redefined. I think this is special enough that we should not care about it, just have an API that allows to change it. > there to be ignored, not to be propagated, seems to me ... @c and @comment are already output as xml comments in --xml (makeinfo do that too). But in the default case and for most formats, sure they should simply be ignored. -- Pat
