Piccole correzioni

diff --git a/filedir.tex b/filedir.tex
index 11a25fc9d650e1cd85d7afe1497dcccd5c1d542f..51403b50cd6f5ee396f627e1d5ef35e353ef9888 100644 (file)
--- a/filedir.tex
+++ b/filedir.tex
@@ -1308,7 +1308,7 @@ dei nomi alternativi, come gli alias del vecchio MacOS o i collegamenti di
 Windows o i nomi logici del VMS, che permettono di fare riferimento allo
 stesso file chiamandolo con nomi diversi o accedendovi da directory diverse.
 Questo è possibile anche in ambiente Unix, dove un nome alternativo viene
 Windows o i nomi logici del VMS, che permettono di fare riferimento allo
 stesso file chiamandolo con nomi diversi o accedendovi da directory diverse.
 Questo è possibile anche in ambiente Unix, dove un nome alternativo viene

-usualmente chiamato `` \textsl{collegamento}'' (o \textit{link}).  Data
+usualmente chiamato ``\textsl{collegamento}'' (o \textit{link}).  Data

 l'architettura del sistema riguardo la gestione dei file vedremo però che ci
 sono due metodi sostanzialmente diversi per fare questa operazione.
 
 l'architettura del sistema riguardo la gestione dei file vedremo però che ci
 sono due metodi sostanzialmente diversi per fare questa operazione.