bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Converting texinfo comments to HTML comments


From: Patrice Dumas
Subject: Re: Converting texinfo comments to HTML comments
Date: Tue, 21 Jul 2009 01:30:58 +0200
User-agent: Mutt/1.5.18 (2008-05-17)

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




reply via email to

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