hurl/ci/man.sh

mirror of https://github.com/Orange-OpenSource/hurl.git synced 2024-12-02 06:55:08 +03:00
#!/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 target/man/hurl.1
gzip 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`
			`gzip target/man/hurl.1`
			`gzip target/man/hurlfmt.1`