Indicizzazioni e qualche piccola correzione

[gapil.git] / system.tex

diff --git a/system.tex b/system.tex
index 797f953cc9b1165a6bedc7c5a60c5bbd8a664000..36c6aa92d2862cbd50d9d26706a2de2262d8deab 100644 (file)
--- a/system.tex
+++ b/system.tex
@@ -708,8 +708,8 @@ sulla directory \param{target}.
     di montare un filesystem disponibile in sola lettura senza averlo
     specificato o il device \param{source} è su un filesystem montato con
     l'opzione \const{MS\_NODEV}.
-  \item[\errcode{ENXIO}] il \textit{major number} del device \param{source} è
-    sbagliato.
+  \item[\errcode{ENXIO}] il \itindex{major~number} \textit{major number} del
+    device \param{source} è sbagliato.
   \item[\errcode{EMFILE}] la tabella dei device \textit{dummy} è piena.
   \end{errlist}
   ed inoltre \errval{ENOTDIR}, \errval{EFAULT}, \errval{ENOMEM},