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
-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.