make: tuned usage;

--- a/doc-src/System/misc.tex	Fri Oct 08 15:09:14 1999 +0200
+++ b/doc-src/System/misc.tex	Fri Oct 08 15:39:52 1999 +0200
@@ -172,7 +172,7 @@
 \begin{ttbox}
 Usage: isatool make [ARGS ...]
 
-  Compiles logic in current directory using IsaMakefile.
+  Compile the logic in current directory using IsaMakefile.
   ARGS are directly passed to the system make program.
 \end{ttbox}
 Note that the Isabelle settings environment is also active. Thus one