[Top][All Lists]

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

Re: Converting texinfo comments to HTML comments

From: Karl Berry
Subject: Re: Converting texinfo comments to HTML comments
Date: Mon, 20 Jul 2009 17:37:33 -0500

Hi Reinhold,

    are currently inside an @ignore block, so if it's not possible to convert 
    ignore blocks to comments, then we'll have to change a lot of files...)

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
there to be ignored, not to be propagated, seems to me ...

Of course there is 
... git stuff ...
@end html

I sympathize with your dilemma, but that would be the straightforward
way to do it, even though you have to "change a lot of files".


reply via email to

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