Tools needed to create Texinfo format documentation files https://www.gnu.org/software/texinfo/
Go to file
2025-01-04 16:27:46 +01:00
README.md automatic version update by autodist [release 7.2-1mamba;Thu Dec 26 2024] 2024-12-26 11:17:40 +01:00
texinfo.spec install install-info in /usr/bin [release 7.2-2mamba;Sat Jan 04 2025] 2025-01-04 16:27:46 +01:00

texinfo

Texinfo is a documentation system that can produce both online information and printed output from a single source file. Normally, you'd have to write two separate documents: one for online help or other online information and the other for a typeset manual or other printed work. Using Texinfo, you only need to write one source document. Then when the work needs revision, you only have to revise one source document. The GNU Project uses the Texinfo file format for most of its documentation.