Il pacchetto Texinfo contiene programmi per leggere, scrivere e convertire documenti Info.
Tempo approssimativo di costruzione: 0.2 SBU Spazio necessario sul disco: 17 MB
L'installazione di Texinfo dipende da: Bash, Binutils, Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses, Sed.
Preparate Texinfo per la compilazione:
./configure --prefix=/usr
Compilate il pacchetto:
make
Per verificare i risultati digitate: make check.
Ora installate il pacchetto:
make install
Opzionalmente installate i componenti relativi a una installazione Tex:
make TEXMF=/usr/share/texmf install-tex
Significato dei parametri di make:
TEXMF=/usr/share/texmf: la variabile makefile TEXMF blocca la locazione della root del vostro albero Tex se, per esempio, progettate di installare un pacchetto Tex più tardi.
Il sistema di documentazione Info usa un file di testo puro per mantenere i suoi elenchi di menu. Il file si trova in /usr/share/info/dir. Sfortunatamente, a causa di occasionali problemi nei Makefile di vari pacchetti, talvolta può perdere sincronia con i manuali Info attualmente installati sul sistema. Se doveste ricreare il file /usr/share/info/dir, il seguente comando opzionale eseguirà il compito:
cd /usr/share/info rm dir for f in * do install-info $f dir 2>/dev/null done
Programmi installati: info, infokey, install-info, makeinfo, texi2dvi e texindex
info è usato per leggere documenti Info. I documenti Info sono un po' come le pagine man, ma spesso vanno più in profondità della sola spiegazione di tutte le opzioni. Confrontate ad esempio man tar e info tar.
infokey compila un file sorgente contenente personalizzazioni Info in un formato binario.
install-info è usato per installare file Info. Aggiorna gli inserimenti nel file indice Info.
makeinfo traduce i documenti sorgenti Texinfo in vari altri formati: file Info, testo puro o HTML.
texi2dvi è usato per formattare un dato documento Texinfo in un file indipendente dalla periferica che può essere stampato.