diff options
| author | EuAndreh <eu@euandre.org> | 2023-04-01 22:25:46 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-04-01 22:26:11 -0300 |
| commit | 76e1a0925fde2cbf25b75409cd353e20b9cfef48 (patch) | |
| tree | cc6c3bd8ec0b182011377a20ace0b10f55fd86b5 /aux/checks/manpages.sh | |
| parent | Revamp CI: simpler variant of the same functionality (diff) | |
| download | remembering-76e1a0925fde2cbf25b75409cd353e20b9cfef48.tar.gz remembering-76e1a0925fde2cbf25b75409cd353e20b9cfef48.tar.xz | |
Revamp code under aux/
Diffstat (limited to '')
| -rwxr-xr-x | aux/checks/manpages.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/aux/checks/manpages.sh b/aux/checks/manpages.sh new file mode 100755 index 0000000..204d960 --- /dev/null +++ b/aux/checks/manpages.sh @@ -0,0 +1,21 @@ +#!/bin/sh +set -eu + +while getopts 'h' flag; do + case "$flag" in + h) + usage + help + exit + ;; + *) + exit 2 + ;; + esac +done +shift $((OPTIND - 1)) + +. aux/lib.sh + + +# FIXME |