1.1 --- a/lib/scripts/run-polyml-5.0	Thu Mar 06 19:21:23 2008 +0100
     1.2 +++ b/lib/scripts/run-polyml-5.0	Thu Mar 06 19:21:24 2008 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  # $Id$
     1.5  # Author: Makarius
     1.6  #
     1.7 -# Poly/ML startup script (for 5.0)
     1.8 +# Poly/ML 5.0 startup script.
     1.9  
    1.10  export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE
    1.11