diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mkdist.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/mkdist.sh b/tools/mkdist.sh index c21e964..bcf1caf 100755 --- a/tools/mkdist.sh +++ b/tools/mkdist.sh @@ -25,6 +25,8 @@ fossil ls | while read -r file; do cp "$file" "$basedir/$file" done +cp docs/cpt.info "$basedir/docs/cpt.info" + tar cf "$basedir.tar" "$basedir" xz -z "$basedir.tar" rm -rf -- "$basedir" |