release.sh: store compressed and uncompressed manpages

pull/48/head
Jake McGinty 2021-04-09 16:15:46 +09:00
parent badabf1145
commit 6b6cb07690
1 changed files with 1 additions and 1 deletions

View File

@ -21,7 +21,7 @@ cargo build
for binary in "innernet" "innernet-server"; do for binary in "innernet" "innernet-server"; do
help2man --no-discard-stderr -s8 "target/debug/$binary" -N > "doc/$binary.8" help2man --no-discard-stderr -s8 "target/debug/$binary" -N > "doc/$binary.8"
gzip -f "doc/$binary.8" gzip -fk "doc/$binary.8"
done done
git add doc git add doc