Texinfo

The source format for GNU info documentation pages. texinfo pages can be easily converted to other formats such as html using texi2html.