X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=intro.tex;h=24e301d50252eafbae2df1ed2e9c9c08b050ca74;hp=6d91ca0ff2f181706721af0c1f7f674add4ddf5b;hb=ffb12837c5ed8ccc095bc9c88349cd19b5e6b472;hpb=a896c0a874a06d086369f5cc3c7e6cf347671835

diff --git a/intro.tex b/intro.tex
index 6d91ca0..24e301d 100644
--- a/intro.tex
+++ b/intro.tex
@@ -538,9 +538,10 @@ eseguito una \func{chroot} (funzione su cui torneremo in
 sez.~\ref{sec:file_chroot}) è la stessa per tutti i processi ed equivale alla
 directory radice dell'albero dei file; in questo caso si parla di un
 \textsl{pathname assoluto} \itindsub{pathname}{assoluto}.  Altrimenti la
-ricerca parte dalla directory di lavoro corrente del processo (su cui
-torneremo in sez.~\ref{sec:file_work_dir}) ed il \textit{pathname} è detto
-\itindsub{pathname}{relativo} \textsl{pathname relativo}.
+ricerca parte dalla \index{directory~di~lavoro} directory di lavoro corrente
+del processo (su cui torneremo in sez.~\ref{sec:file_work_dir}) ed il
+\textit{pathname} è detto \itindsub{pathname}{relativo} \textsl{pathname
+  relativo}.
 
 Infine i nomi di directory ``\file{.}'' e ``\file{..}'' hanno un significato
 speciale e vengono inseriti in ogni directory quando questa viene creata (vedi
@@ -714,7 +715,7 @@ interno alcune bufferizzazioni per aumentare l'efficienza nell'accesso ai
 dispositivi. L'accesso viene gestito attraverso i \textit{file descriptor} che
 sono rappresentati da numeri interi (cioè semplici variabili di tipo
 \ctyp{int}).  L'interfaccia è definita nell'\textit{header file}
-\file{unistd.h} e la tratteremo in dettaglio in
+\headfile{unistd.h} e la tratteremo in dettaglio in
 cap.~\ref{cha:file_unix_interface}.
 
 \itindbeg{file~stream}
@@ -732,7 +733,7 @@ specificata dall'ANSI C e perciò si trova anche su tutti i sistemi non
 Unix. Gli \textit{stream} sono oggetti complessi e sono rappresentati da
 puntatori ad un opportuna struttura definita dalle librerie del C, ad essi si
 accede sempre in maniera indiretta utilizzando il tipo \code{FILE *}.
-L'interfaccia è definita nell'\textit{header file} \file{stdio.h} e la
+L'interfaccia è definita nell'\textit{header file} \headfile{stdio.h} e la
 tratteremo in dettaglio nel cap.~\ref{cha:files_std_interface}.
 
 Entrambe le interfacce possono essere usate per l'accesso ai file come agli
@@ -877,7 +878,7 @@ infinita serie di problemi di portabilità.
                       sez.~\ref{sec:proc_access_id}).\\
     \hline
   \end{tabular}
-  \caption{Elenco dei tipi primitivi, definiti in \file{sys/types.h}.}
+  \caption{Elenco dei tipi primitivi, definiti in \headfile{sys/types.h}.}
   \label{tab:intro_primitive_types}
 \end{table}
 
@@ -885,7 +886,7 @@ Per questo motivo tutte le funzioni di libreria di solito non fanno
 riferimento ai tipi elementari dello standard del linguaggio C, ma ad una
 serie di \index{tipo!primitivo} \textsl{tipi primitivi} del sistema, riportati
 in tab.~\ref{tab:intro_primitive_types}, e definiti nell'\textit{header file}
-\file{sys/types.h}, in modo da mantenere completamente indipendenti i tipi
+\headfile{sys/types.h}, in modo da mantenere completamente indipendenti i tipi
 utilizzati dalle funzioni di sistema dai tipi elementari supportati dal
 compilatore C.