Converting texinfo comments to HTML comments

[Reinhold Kainhofer]

Hi Patrice,
In our lilypond docs, we have several texinfo comments, most notably the git 
revision of the texinfo document, which would make sense to be converted into 
html comments (so that we can e.g. determine from which revision a document 
was compiled, which is particularly useful for translators). 

I've taken a quick look at the texi2html code, but I couldn't find the spot 
where @c lines are ignored.

Can you think of an easy way to convert texinfo comments into html comments?

Thanks,
Reinhold

PS: Sometimes it might even make sense to convert @address@hidden ignore blocks 
to html comments. Is there a way for this, too? (Actually, our git revisions 
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...)
-- 
------------------------------------------------------------------
Reinhold Kainhofer, address@hidden, http://reinhold.kainhofer.com/
 * Financial & Actuarial Math., Vienna Univ. of Technology, Austria
 * http://www.fam.tuwien.ac.at/, DVR: 0005886
 * LilyPond, Music typesetting, http://www.lilypond.org