X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=main.tex;h=19e353989f94f348b3b1dc7c843a2f178f49192d;hp=097db57d8bb106682ad1e1f5e5fb69122ecc901a;hb=a93a0bac951085a52c4b33c42a607fc81f6868d2;hpb=ae0f5a752ec86bf15b78031f4b33664a8c0b515b

diff --git a/main.tex b/main.tex
index 097db57..19e3539 100644
--- a/main.tex
+++ b/main.tex
@@ -1,4 +1,4 @@
-%% 
+%%
 %% GaPiL : Guida alla Programmazione in Linux
 %% 
 %% S. Piccardi Feb. 2001
@@ -21,7 +21,7 @@
 \usepackage{color} 
 %
 % Setting page layout
-% 
+%
 \oddsidemargin=0.5cm
 \evensidemargin=-0.5cm
 \textwidth=16cm
@@ -101,7 +101,7 @@
 \include{fileunix}
 \include{filestd}
 \include{process}
-\include{option}
+\include{prochand}
 \include{signal}
 \include{ipc}
 \include{network}