Compilar archivos texinfo a distintos formatos.
$ makeinfo --html archivo.texi
$ makeinfo --pdf archivo.texi