isatool document: tuned -c option;
authorwenzelm
Sat Apr 01 20:18:52 2000 +0200 (2000-04-01 ago)
changeset 86561062572b5b37
parent 8655 16906e600c9a
child 8657 b9475dad85ed
isatool document: tuned -c option;
doc-src/System/present.tex
     1.1 --- a/doc-src/System/present.tex	Sat Apr 01 20:17:51 2000 +0200
     1.2 +++ b/doc-src/System/present.tex	Sat Apr 01 20:18:52 2000 +0200
     1.3 @@ -254,7 +254,7 @@
     1.4  Usage: document [OPTIONS] [DIR]
     1.5  
     1.6    Options are:
     1.7 -    -c           remove DIR after succesful run (!)
     1.8 +    -c           cleanup -- be aggressive in removing old stuff
     1.9      -o FORMAT    specify output format: dvi (default), dvi.gz, ps,
    1.10                   ps.gz, pdf
    1.11