Texinfo

Cet article est une ébauche concernant l’informatique et une langue.

Texinfo

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.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

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 ?
Texinfo

Description de l'image Example texinfo.png.
Informations
Développé par Projet GNU
Première version Février 1986[1]
Dernière version 7.3 ()[2]Voir et modifier les données sur Wikidata
Dépôt git.savannah.gnu.org/cgit/texinfo.gitVoir et modifier les données sur Wikidata
Écrit en C
Système d'exploitation GNU/Linux, GNU/Hurd (d), BSD, macOS et Microsoft WindowsVoir et modifier les données sur Wikidata
Environnement GNU
Formats lus Texinfo source (d)Voir et modifier les données sur Wikidata
Type Documentation
Licence GPLv3
Documentation www.gnu.org/software/texinfo/manual/texinfoVoir et modifier les données sur Wikidata
Site web (en) Site officiel

modifier - modifier le code - voir Wikidata (aide)

Texinfo est un langage de formatage de texte, c'est le langage de documentation officiel du projet GNU[3].

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 texinfo indique à TeX d'utiliser d'inclure le fichier texinfo.tex
  • @settitle indique le titre du document
  • @bye indique la fin du document

Notes et références

  1. ↑ (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. »

  2. ↑ (en) Gavin Smith (d), « Texinfo 7.3 released », (consulté le )
  3. ↑ (en) Arnold Robbins, « What's GNU: Texinfo », Linux Journal,‎ (lire en ligne)
  4. ↑ a et b (en) « GNU Texinfo », sur gnu.org, (consulté le )
  5. ↑ (en) « What a Texinfo File Must Have »

Bibliographie

Sur les autres projets Wikimedia :

Liens externes

v · m
Histoire
Licences
Logiciels
Personnalités
v · m
Moteurs
actuels :
obsolètes :
Formats
Paquets
Distributions
actuelles :
obsolètes :
Communautés
Autre

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.