hurl/ci/man.sh

#!/bin/bash
set -e

rm -rf target/man
mkdir -p target/man
ci/gen_manpage.py docs/man/hurl.md > target/man/hurl.1
ci/gen_manpage.py docs/man/hurlfmt.md > target/man/hurlfmt.1

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`
Move docs. 2022-05-19 12:41:52 +03:00			`ci/gen_manpage.py docs/man/hurl.md > target/man/hurl.1`
			`ci/gen_manpage.py docs/man/hurlfmt.md > target/man/hurlfmt.1`
Generate man at build 2020-11-16 10:14:48 +03:00
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