isatool document: tuned -c option;

--- a/doc-src/System/present.tex	Sat Apr 01 20:17:51 2000 +0200
+++ b/doc-src/System/present.tex	Sat Apr 01 20:18:52 2000 +0200
@@ -254,7 +254,7 @@
 Usage: document [OPTIONS] [DIR]
 
   Options are:
-    -c           remove DIR after succesful run (!)
+    -c           cleanup -- be aggressive in removing old stuff
     -o FORMAT    specify output format: dvi (default), dvi.gz, ps,
                  ps.gz, pdf