doc-src/System/misc.tex

--- a/doc-src/System/misc.tex	Mon Sep 18 19:12:43 2006 +0200
+++ b/doc-src/System/misc.tex	Mon Sep 18 19:12:44 2006 +0200
@@ -40,8 +40,8 @@
   Display document FILE (in DVI format).
 \end{ttbox}
 
-The \texttt{-c} option causes the input file to be removed after use.  The
-program for viewing \texttt{dvi} files is determined by the
+\medskip The \texttt{-c} option causes the input file to be removed after use.
+The program for viewing \texttt{dvi} files is determined by the
 \texttt{DVI_VIEWER} setting.