Il pacchetto Texinfo contiene programmi per leggere, scrivere e
convertire documenti di tipo Info.
Tempo approssimativo di costruzione: 0.2 SBU
Spazio su disco richiesto: 17 MB
L'installazione di Texinfo dipende da: Bash, Binutils,
Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses,
Sed
6.34.1. Installazione di Texinfo
La patch seguente corregge un problema in cui il programma
info talvolta va in crash
quando si preme il tasto Delete sulla tastiera:
patch -Np1 -i ../texinfo-4.7-segfault-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 i manuali Info effettivamente installati 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
-
E' utilizzato per leggere documenti Info. I documenti Info
sono molto simili alle pagine man, ma spesso approfondiscono
molto, non limitandosi alla sola spiegazione dei flag. Si
paragonino ad esempio man
bison e info
bison.
-
infokey
-
compila un file sorgente contenente personalizzazioni Info in
un formato binario.
-
install-info
-
E' utilizzato per installare file Info. Aggiorna le voci
presenti nel file indice di Info.
-
makeinfo
-
traduce i documenti sorgenti Texinfo prescelti in vari altri
formati: file Info, semplice testo o HTML.
-
texi2dvi
-
impiegato per impaginare il documento Texinfo prescelto in un
file indipendente dalla periferica che possa poi essere
stampato.
-
texindex
-
E' utilizzato per ordinare i file indice di Texinfo.