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

Texinfo permette agli utenti locali di sovrascrivere file arbitrari attraverso un attacco symlink su file temporanei. Applicare la seguente patch per correggere il problema:

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

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, texi2pdf 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

texi2pdf

Usato per formattare il documento Texinfo dato in un file Portable Document Format (PDF).

texindex

È utilizzato per ordinare i file indice di Texinfo