Risistemati un sacco di riferiementi, e la riorganizzazione della parte

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index 9a59964518678dc76eb79dd4d452b0db20664a3d..e43caa970b166af4e26da74b68bc55e3dcfe2c9f 100644 (file)
--- a/prochand.tex
+++ b/prochand.tex
@@ -50,12 +50,12 @@ Tutti i processi inoltre portano traccia del pid del genitore, chiamato in
 genere \textit{ppid} (da \textit{Parente Process Id}). Questi identificativi
 possono essere ottenuti da un programma usando le funzioni:
 \begin{functions}
-\incldecl{sys/types.h}
-\incldecl{unistd.h}
+\headdecl{sys/types.h}
+\headdecl{unistd.h}
 \funcdecl{pid\_t getpid(void)} restituisce il pid del processo corrente.
 \funcdecl{pid\_t getppid(void)} restituisce il pid del padre del processo
     corrente.
-\end{}
+\end{functions}
 
 
 \section{Il controllo dei processi}
@@ -143,5 +143,5 @@ Linux come il filesystem uid.
 
 
 \subsection{Le funzioni \texttt{seteuid} e \texttt{setegid}}
-\label{sec:prochand_setuid}
+\label{sec:prochand_seteuid}