Tools needed to create Texinfo format documentation files
Description
Texinfo uses a single source file to produce output in a number of formats,
both online and printed (DVI, HTML, Info, PDF, XML, etc.). This means that
instead of writing different documents for online information and another for
a printed manual, you need write only one document.