lib/Tools/make
changeset 7795 111d2a65e1c6
parent 3007 e5efa177ee0c
child 9788 df671fa2562a
     1.1 --- a/lib/Tools/make	Fri Oct 08 15:03:27 1999 +0200
     1.2 +++ b/lib/Tools/make	Fri Oct 08 15:03:38 1999 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    echo
     1.5    echo "Usage: $PRG [ARGS ...]"
     1.6    echo
     1.7 -  echo "  Compiles logic in current directory using IsaMakefile."
     1.8 +  echo "  Compile the logic in current directory using IsaMakefile."
     1.9    echo "  ARGS are directly passed to the system make program."
    1.10    echo
    1.11    exit 1