diff --git a/script/server b/script/server index 090f3129349064f14fcfaff74a0bbd028f34a492..6868db628cb68f6609619a353047ee102ad77275 100755 --- a/script/server +++ b/script/server @@ -60,7 +60,7 @@ fi # Force AGPL if [ -w public -a ! -e public/source.tar.gz ]; then - tar czf public/source.tar.gz --exclude='source.tar.gz' -X .gitignore * + tar czf public/source.tar.gz `git ls-tree -r master | awk '{print $4}'` fi if [ ! -e public/source.tar.gz ]; then echo "Error: Can't find, or even create, public/source.tar.gz. Exiting" >&2