X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filedir.tex;h=7627aaf2e1cda708f1e31cd6cdbffff6e36af997;hp=b985da195568042040b81c218dc8ef698f2cae92;hb=88fefd4ca97449596a2b8689e89de5e66d9d6758;hpb=608bbf38416013dc331e1ef2e5dfe01855b6158b

diff --git a/filedir.tex b/filedir.tex
index b985da1..7627aaf 100644
--- a/filedir.tex
+++ b/filedir.tex
@@ -1440,7 +1440,6 @@ accedere ad un certo file.
 Per cambiare i permessi di un file il sistema mette ad disposizione due
 funzioni, che operano rispettivamente su un filename e su un file descriptor,
 i loro prototipi sono:
-
 \begin{functions}
   \headdecl{sys/types.h} 
   \headdecl{sys/stat.h} 
@@ -1539,7 +1538,6 @@ privilegio.
 Oltre che dai valori indicati in sede di creazione, i permessi assegnati ai
 nuovi file sono controllati anche da una maschera di bit settata con la
 funzione \func{umask}, il cui prototipo è:
-
 \begin{prototype}{stat.h}
 {mode\_t umask(mode\_t mask)}
 
@@ -1576,7 +1574,6 @@ allora occorrer
 Come per i permessi, il sistema fornisce anche delle funzioni che permettano
 di cambiare utente e gruppo cui il file appartiene; le funzioni in questione
 sono tre e i loro prototipi sono i seguenti:
-
 \begin{functions}
   \headdecl{sys/types.h} 
   \headdecl{sys/stat.h}