diff options
| author | Mikkel Krautz <mikkel@krautz.dk> | 2012-09-21 01:05:56 +0400 |
|---|---|---|
| committer | Mikkel Krautz <mikkel@krautz.dk> | 2012-09-21 01:05:56 +0400 |
| commit | 8fd27f62fccf04ea34893e656110457d4468df5d (patch) | |
| tree | ddd38fcd1e58522d692a997c2654156294897ff5 /macx | |
| parent | c71aea2b6a58e4e6a1ebb4952feb7299124efcd2 (diff) | |
osxdist.py: use new README for static server; tweak filename.
Diffstat (limited to 'macx')
| -rwxr-xr-x | macx/scripts/osxdist.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/macx/scripts/osxdist.py b/macx/scripts/osxdist.py index 4076b2d09..1d144edaa 100755 --- a/macx/scripts/osxdist.py +++ b/macx/scripts/osxdist.py @@ -322,7 +322,7 @@ def package_server(): else: ver = gitrev() - name = 'Murmur-%s' % ver + name = 'Murmur-Static-%s' % ver fn = name + '.xip' # Fix .ini files @@ -334,7 +334,7 @@ def package_server(): os.mkdir(destdir) shutil.copy('installer/gpl.txt', os.path.join(destdir, 'LICENSE')) - shutil.copy('README', os.path.join(destdir, 'README')) + shutil.copy('README.static.osx', os.path.join(destdir, 'README')) shutil.copy('CHANGES', os.path.join(destdir, 'CHANGES')) shutil.copy('scripts/murmur.pl', os.path.join(destdir, 'murmur.pl')) shutil.copy('scripts/weblist.pl', os.path.join(destdir, 'weblist.pl')) |