diff options
author | Andrew Gallant <jamslam@gmail.com> | 2016-09-22 19:20:06 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2016-09-22 19:20:06 -0400 |
commit | 9087154b74aac0cf00a36a65c9ceda723b4a76ce (patch) | |
tree | 1890e69be915ba8db3d72de5ac928fe6e3fcfe52 | |
parent | bb4fd9ddce9a73dab0c0eac4566e106cf01b273b (diff) |
add man page to build artifact
-rw-r--r-- | ci/before_deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index 7f13a0de..3d033d87 100644 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -18,7 +18,7 @@ mk_tarball() { mkdir "$td/$name" cp target/$TARGET/release/rg "$td/$name/" - cp {README.md,UNLICENSE,COPYING,LICENSE-MIT} "$td/$name/" + cp {doc/rg.1,README.md,UNLICENSE,COPYING,LICENSE-MIT} "$td/$name/" pushd $td tar czf "$out_dir/$name.tar.gz" * |