texi2www user's guide
Texi2www understands the following extensions to pure texinfo:
@ifhtml
@end ifhtml
@html
@end html
@href{text,node,file,URL}
@gif{gif-file}