1.1 --- a/Admin/makedist	Thu Jul 17 17:10:53 2008 +0200
     1.2 +++ b/Admin/makedist	Thu Jul 17 17:11:34 2008 +0200
     1.3 @@ -37,6 +37,7 @@
     1.4  
     1.5    NAME specifies an explicit distribution name, by default it is
     1.6    derived from VERSION.
     1.7 +
     1.8  EOF
     1.9    exit 1
    1.10  }