Re: Converting texinfo comments to HTML comments

[Patrice Dumas]

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