aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/mkdist.sh2
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"