6.34. Texinfo-4.8

Il pacchetto Texinfo contiene programmi per leggere, scrivere e convertire pagine info.

Tempo approssimativo di costruzione: 0.2 SBU
spazio su disco richiesto: 14.7 MB
L'installazione dipende da: Bash, Binutils, Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses e Sed

6.34.1. Installazione di Texinfo

Preparare Texinfo per la compilazione:

./configure --prefix=/usr

Compilare il pacchetto:

make

Per testare i risultati, digitare: make check.

Installare il pacchetto:

make install

Opzionalmente installare i componenti appartenenti ad una installazione TeX:

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

Significato dei parametri di make:

TEXMF=/usr/share/texmf

La variabile TEXMF del makefile contiene la locazione della radice dell'albero delle directory della installazione di TeX se, per esempio, si avesse intenzione di installare successivamente un pacchetto TeX.

Il sistema di documentazione Info utilizza semplici file di testo per conservare la lista delle voci di menu. Il file posto nella directory /usr/share/info/dir. Sfortunatamente, a causa di problemi occasionali presenti nei Makefile di alcuni pacchetti, questo file pu non risultare pi allineato con le pagine info installate sul sistema. Se dovesse essere necessario ricreare il file /usr/share/info/dir, i seguenti comandi opzionali risolveranno il problema:

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

6.34.2. Contenuti di Texinfo

Programmi installati: info, infokey, install-info, makeinfo, texi2dvi e texindex

Brevi descrizioni

info

utilizzato per leggere pagine info, che sono molto simili alle pagine man, ma spesso approfondiscono molto, non limitandosi alla sola spiegazione delle opzioni della linea di comando. Si paragonino ad esempio man bison e info bison

infokey

Compila un file sorgente contenente personalizzazioni info in un formato binario

install-info

Utilizzato per installare pagine info. Aggiorna le voci presenti nel file indice di info

makeinfo

Traduce i documenti sorgenti Texinfo prescelti in file info, semplice testo o HTML

texi2dvi

Impiegato per formattare il documento Texinfo prescelto in un file indipendente dalla periferica che possa poi essere stampato

texindex

utilizzato per ordinare i file indice di Texinfo