# HG changeset patch
# User wenzelm
# Date 1158599564 -7200
# Node ID 2b88de40da576b810ac3cf52a1e902ef758b3a99
# Parent  cbcca0d536bfc7000605f99cb1538ad999fc6d74
tuned;

diff -r cbcca0d536bf -r 2b88de40da57 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.