diff options
Diffstat (limited to 'scripts/mk-w32-dist')
| -rwxr-xr-x | scripts/mk-w32-dist | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index 2bb979096..4fd36a5ef 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -1,6 +1,15 @@ #!/bin/sh -# Hmm, we need the not real free zip utility - this should be -# avoided. The easiest way will be to use an installer program. +# +# Copyright (C) 2000, 2001 Free Software Foundation, Inc. +# +# This file is free software; as a special exception the author gives +# unlimited permission to copy and/or distribute it, with or without +# modifications, as long as this notice is preserved. +# +# This program is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the +# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + set -e |