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"