Texinfo
système de documentation pour l'information en ligne ou imprimée De Wikipédia, l'encyclopédie libre
système de documentation pour l'information en ligne ou imprimée De Wikipédia, l'encyclopédie libre
Texinfo est un langage de formatage de texte, c'est le langage de documentation officiel du projet GNU[3].
Cet article est une ébauche concernant l’informatique et une langue.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
| Développé par | Projet GNU |
|---|---|
| Première version | Février 1986[1] |
| Dernière version | 7.1 ()[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.
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 texinfo indique à TeX d'utiliser d'inclure le fichier texinfo.tex@settitle indique le titre du document@bye indique la fin du documentSeamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
