X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=main.tex;fp=main.tex;h=19e353989f94f348b3b1dc7c843a2f178f49192d;hp=55daeecf08ff81459e2212cf36a3b4345b6086da;hb=a93a0bac951085a52c4b33c42a607fc81f6868d2;hpb=45c2192b1414b9dfc1cef8bb718761c495ca33f4

diff --git a/main.tex b/main.tex
index 55daeec..19e3539 100644
--- a/main.tex
+++ b/main.tex
@@ -101,7 +101,7 @@
 \include{fileunix}
 \include{filestd}
 \include{process}
-\include{option}
+\include{prochand}
 \include{signal}
 \include{ipc}
 \include{network}