tree 86b6db305dc519da8a6d83714c4c13784f5709f6
parent 4f13a43ab32ba77793d8528d4b4c057c6f76b835
author Werner Lemberg <wl@gnu.org> 1601011328 +0200
committer Werner Lemberg <wl@gnu.org> 1601014063 +0200

Move `scripts/make_distribution_archives.py` to `src/tools`.

* scr/tools/scripts/make_distribution_archives.py: (_TOP_DIR,
_SCRIPT_DIR): Updated to new location.
(main): s/shutils.copyfile/shutils.copy/ to preserve file
permissions.
(main): Prefix source file paths with `git_dir` while copying files
to allow calls of the script from other places than the top-level
directory.