Texinfo

Texinfo ist das hypertextfähige Dokumentationssystem des GNU-Projektes.

Motivation

Es muss nur ein Quelldokument gepflegt werden, aus dem mit Konvertierungsprogrammen verschiedene Ausgabeformate erzeugt werden können.

Eingabeformat

Eine Texinfo-Quelldatei hat üblicherweise die Dateiendung .texi und sieht fast wie gewöhnlicher Text (plain text) aus, enthält aber Formatierungs­anweisungen, die mit dem Klammeraffen (@) beginnen:

@ifnottex
@node Top
@top Kurzes Beispiel

@insertcopying
@end ifnottex

@menu
* Erstes Kapitel::   Das erste Kapitel ist das
                     einzige Kapitel in diesem Beispiel.
* Index::            Vollständiger Index.
@end menu

Ausgabeformate

  • Mit texi2any (vor Texinfo 5.0 makeinfo und texi2html)
  • Mit texi2dvi / texi2pdf
  • Mit makertf
    • RTF (erlaubt weitere Konvertierung in WinHelp-Datei)

Eine Konvertierung von texinfo in UNIX manpages ist nicht vorhanden. Manpages müssen nach einem festen Schema aufgebaut sein und erlauben keine Hyperlinks.

texi2dvi und texi2pdf sind Shell-Skripte, die ihrerseits TeX (bzw. pdfTeX) benutzen. Hierbei wird ein TeX-Makropaket, das ebenfalls texinfo heißt, eingesetzt.

texinfo als TeX-Format

Texinfo ist ein ungewöhnliches TeX-Format, da es nicht den Konventionen von plain TeX folgt. Insbesondere ist der Escape-Character, der die Befehle einleitet, nicht der Backslash, sondern das At-Zeichen.

Info

Info ist das Hypertext-Dokumentationsformat des GNU-Projektes. Durch Info-Dateien kann mit GNU-Info oder Emacs (sogar auf ASCII-Terminals) navigiert werden.

Lizenz

Texinfo ist freie Software unter der GNU General Public License.

Commons: Texinfo – Sammlung von Bildern, Videos und Audiodateien

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.