diff -r 37069d910cbe -r 111d2a65e1c6 lib/Tools/make
--- a/lib/Tools/make	Fri Oct 08 15:03:27 1999 +0200
+++ b/lib/Tools/make	Fri Oct 08 15:03:38 1999 +0200
@@ -12,7 +12,7 @@
   echo
   echo "Usage: $PRG [ARGS ...]"
   echo
-  echo "  Compiles logic in current directory using IsaMakefile."
+  echo "  Compile the logic in current directory using IsaMakefile."
   echo "  ARGS are directly passed to the system make program."
   echo
   exit 1