diff options
| -rw-r--r-- | scripts/make_release.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/make_release.py b/scripts/make_release.py index b31d0b2f..9c5a3f71 100644 --- a/scripts/make_release.py +++ b/scripts/make_release.py @@ -59,6 +59,8 @@ shutil.copy("license.txt", package_dir) if include_data: os.mkdir(os.path.join(package_dir, "data")) copydir("data", package_dir) + if platform[:3] == "win": + shutil.copy("other/config_directory.bat", package_dir) if include_exe: shutil.copy("teewars"+exe_ext, package_dir) |