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