Das Paket Texinfo enthält Programme zum Lesen, Schreiben und
Konvertieren von Info-Dokumenten (Systemdokumentation).
Geschätzte Kompilierzeit: 0.2 SBU
Ungefähr benötigter Festplattenplatz: 17 MB
Texinfo ist abhängig von: Bash, Binutils, Coreutils,
Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses und Sed
6.34.1. Installieren von Texinfo
Der folgende Patch behebt das Problem, dass info manchmal beim Drücken der Entfernen-Taste abstürzt:
patch -Np1 -i ../texinfo-4.7-segfault-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 das Kommando 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 Standort Ihres TeX Basisordners, falls später ein
TeX-Paket installiert wird.
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
6.34.2. Inhalt von Texinfo
Installierte Programme: info, infokey, install-info,
makeinfo, texi2dvi und texindex
Kurze Beschreibungen
-
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 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
-
texindex
-
Sortiert Texinfo-Indexdateien