Re: Converting texinfo comments to HTML comments

[Graham Percival]

On Mon, Jul 20, 2009 at 02:38:13PM +0200, Reinhold Kainhofer wrote:
> 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). 

Sorry, I just noticed this message as well.  I think this would be
better done as a macro; that way, we can retain our
non-git-revision-number comments as "private" in the documentation
source.

It's easily done with:
  @macro htmlcomment{TEXT}
  @html
  <!-- extra text: \TEXT\ -->
  @end html

Cheers,
- Graha