6.34. Texinfo-4.8

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

Geschätzte Kompilierzeit: 0.2 SBU
Ungefähr benötigter Festplattenplatz: 14.7 MB
Die Installation ist abhängig von: Bash, Binutils, Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses und Sed

6.34.1. Installation von Texinfo

Texinfo ermöglicht es lokalen Benutzern durch eine sog. Symlink-Attacke bestimmte Dateien zu überschreiben. Der folgende Patch behebt das Problem:

patch -Np1 -i ../texinfo-4.8-tempfile_fix-1.patch

Bereiten Sie Texinfo zum Kompilieren vor:

./configure --prefix=/usr

Kompilieren Sie das Paket:

make

Um das Ergebnis zu prüfen, führen Sie make check aus.

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.34.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.