Texinfo-4.7

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

Approximate build time:  0.2 SBU
Required disk space:     17 MB

Texinfo ist abhängig von: Bash, Binutils, Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses, Sed.

Installieren von Texinfo

Bereiten Sie Texinfo zum Kompilieren vor:

./configure --prefix=/usr

Kompilieren Sie das Paket:

make

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

Installieren Sie das Paket:

make install

Optional können Sie die Komponenten einer TeX-Installation mitinstallieren:

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

Die Bedeutung des make-Parameters:

  • TEXMF=/usr/share/texmf: Die TEXMF Makefile-Variable enthält den Standort Ihrer TeX-Ordnerstruktur, falls Sie zum Beispiel planen später ein TeX-Paket zu installieren.

Das Info-Dokumentationssystem speichert seine 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, können Sie dazu das folgende Kommando verwenden:

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

Inhalt von Texinfo

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

Kurze Beschreibung

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

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.

texindex sortiert Texinfo-Indexdateien.