Correzioni varie e trattazione shared subtree, aggiornamento di mount,

[gapil.git] / signal.tex

diff --git a/signal.tex b/signal.tex
index 5bc9aff1caf98a15d2ab65b30dd90659854a17bf..6daea447870206813dc0abeb3a81844b9eadc2b5 100644 (file)
--- a/signal.tex
+++ b/signal.tex
@@ -700,7 +700,7 @@ in cui si trattano gli argomenti relativi.  Questi segnali sono:
   La maggior pare dei programmi non hanno necessità di intercettare il
   segnale, in quanto esso è completamente trasparente rispetto all'esecuzione
   che riparte senza che il programma noti niente. Si possono installare dei
-  gestori per far si che un programma produca una qualche azione speciale
+  gestori per far sì che un programma produca una qualche azione speciale
   se viene fermato e riavviato, come per esempio riscrivere un prompt, o
   inviare un avviso.