hurl/bin/release/man.sh

#!/bin/bash
set -Eeuo pipefail

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

gzip -n -9 target/man/hurl.1
gzip -n -9 target/man/hurlfmt.1
Standardised shell scripts shebang 2022-12-14 11:28:25 +03:00			`#!/bin/bash`
Standardised shell scripts shebang and error handling 2022-12-14 11:28:25 +03:00			`set -Eeuo pipefail`
Refacto workflow scripts 2022-07-30 05:49:56 +03:00
			`rm -rf target/man`
			`mkdir -p target/man`
Rename manual-page.md to manual.md 2022-09-02 15:45:54 +03:00			`bin/release/gen_manpage.py docs/manual/hurl.md > target/man/hurl.1`
			`bin/release/gen_manpage.py docs/manual/hurlfmt.md > target/man/hurlfmt.1`
Refacto workflow scripts 2022-07-30 05:49:56 +03:00
			`gzip -n -9 target/man/hurl.1`
			`gzip -n -9 target/man/hurlfmt.1`