hurl/ci/man.sh

#!/bin/bash
set -e

rm -rf target/man
mkdir -p target/man
cp docs/hurl.1 target/man
cp docs/hurlfmt.1 target/man
gzip -n -9 target/man/hurl.1
gzip -n -9 target/man/hurlfmt.1
Split/Refacto Travis job 2020-09-11 11:52:53 +03:00			`#!/bin/bash`
			`set -e`

Clean script 2020-09-19 19:09:30 +03:00			`rm -rf target/man`
Split/Refacto Travis job 2020-09-11 11:52:53 +03:00			`mkdir -p target/man`
			`cp docs/hurl.1 target/man`
			`cp docs/hurlfmt.1 target/man`
create deb file explicitly with dpkg --build 2020-09-24 22:33:16 +03:00			`gzip -n -9 target/man/hurl.1`
			`gzip -n -9 target/man/hurlfmt.1`
Split/Refacto Travis job 2020-09-11 11:52:53 +03:00