Texinfo
Texinfo est un langage de formatage de texte, c'est le langage de documentation officiel du projet GNU[3].
| Développé par | Projet GNU |
|---|---|
| Première version | Février 1986[1] |
| Dernière version | 7.0.3 ()[2] |
| DĂ©pĂ´t | git.savannah.gnu.org/cgit/texinfo.git |
| Écrit en | C |
| Système d'exploitation | GNU/Linux, GNU/Hurd (d), BSD, macOS et Microsoft Windows |
| Environnement | GNU |
| Formats lus | Texinfo source (d) |
| Type | Documentation |
| Licence | GPLv3 |
| Documentation | www.gnu.org/software/texinfo/manual/texinfo |
| Site web | (en) Site officiel |
Il a été conçu par Richard Stallman et Robert Chassel (en).
Le programme est présentement maintenu par Gavin Smith[4].
Le but de GNU Texinfo est de fournir une façon simple de créer de la documentation logicielle. Il permet à partir d'un seul fichier source (.texi) de générer plusieurs types de document pour l'impression ou la lecture numérique[4].
GNU Texinfo s'appuie sur le logiciel TeX pour générer des documents PDF, DVI, HTML...
La génération de pages de manuel n'est pas possible, ce qui peut étonner dans la mesure où ce type de documentation est légion dans les systèmes de Type Unix. L'explication donnée est que les pages man sont utilisées en tant que référence rapide, alors que les documents générés par GNU Texinfo sont plutôt des tutoriels ou des documents de référence.
Syntaxe
Par convention, les fichiers Texinfo ont pour extension .texi, .texinfo, .txi, ou .tex.
Un fichier Texinfo contient au minimum[5] :
\input texinfo @settitle nom-du-document @bye
\input texinfoindique Ă TeX d'utiliser d'inclure le fichier texinfo.tex@settitleindique le titre du document@byeindique la fin du document
Références
- (en) Richard Stallman, G N U ' S B U L L E T I N, vol. 1, Cambridge, Free Software Foundation, , 1re éd. (lire en ligne), « Documentation system », p. 10
« I now have a truly compatible pair of programs which can convert a file of texinfo format documentation into either a printed manual or an Info file. Documentation files are needed for many utilities. »
- d">(en) Gavin Smith (d), « Texinfo 7.0.3 released », (consulté le )
- (en) Arnold Robbins, « What's GNU: Texinfo », Linux Journal,‎ (lire en ligne)
- (en) « GNU Texinfo », sur gnu.org, (consulté le )
- (en) « What a Texinfo File Must Have »
Bibliographie
- (en) Robert J. Chassell et Richard Stallman, Texinfo : The GNU Documentation Format, Boston, FSF, , 315 p., PDF (lire en ligne)
Liens externes
- (fr) RĂ©aliser des pages d'info Ă l'aide de Texinfo
- (en) Notice technique sur le répertoire du logiciel libre
- (en) Code source sur la forge logicielle Savannah