6.55. Texinfo-4.13a

Das Paket Texinfo enthält Programme zum Lesen, Schreiben und Konvertieren von Info-Seiten (Systemdokumentation).

Geschätzte Kompilierzeit: 0.3 SBU
Etwa Benötigter Speicherplatz: 20 MB

6.55.1. Installation von Texinfo

Bereiten Sie Texinfo zum Kompilieren vor:

./configure --prefix=/usr

Kompilieren Sie das Paket:

make

Um die Ergebnisse zu testen, geben Sie folgendes ein:

make check

Installieren Sie das Paket:

make install

Optional können Sie auch die zu einer typischen TeX-Installation gehörenden Pakete installieren:

make TEXMF=/usr/share/texmf install-tex

Die Bedeutung des make-Parameters:

TEXMF=/usr/share/texmf

Die Makefile-Variable TEXMF enthält den Pfad zu Ihrem TeX-Basisordner, falls später TeX installiert wird.

Das Info-Dokumentationssystem speichert die Liste der Menüeinträge in einer einfachen Textdatei. Die Datei liegt in /usr/share/info/dir. Unglücklicherweise können die Einträge in dieser Datei durch Probleme mit Makefile-Dateien einzelner Pakete durcheinander geraten. Falls Sie diese Datei jemals neu erzeugen müssen, ist Ihnen das folgende Kommando dabei behilflich:

cd /usr/share/info
rm dir
for f in *
do install-info $f dir 2>/dev/null
done

6.55.2. Inhalt von Texinfo

Installierte Programme: info, infokey, install-info, makeinfo, texi2dvi, texi2pdf und texindex

Kurze Beschreibungen

info

Wird zum Lesen von Info-Dokumenten benutzt. Info-Dokumente sind Man-pages sehr ähnlich, gehen aber oft tiefer in die Materie als einfach nur die möglichen Parameter zu beschreiben. Vergleichen Sie beispielsweise man bison und info bison.

infokey

Kompiliert eine Quelldatei mit Info-Anpassungen in ein binäres Format.

install-info

Wird zum Installieren von Info-Dateien benutzt. Es aktualisiert die Einträge in der info-Indexdatei.

makeinfo

Übersetzt Texinfo Quelldokumente in verschiedene andere Formate: Info-Dateien, reiner Text, oder HTML.

texi2dvi

Wird zum Formatieren von Texinfo-Dokumenten in ein Geräteunabhängiges Format zum Drucken benutzt.

texi2pdf

Wird zum Konvertieren von Texinfo-Dokumenten in das portable Document Format (PDF) verwendet.

texindex

Sortiert Texinfo-Indexdateien.