diff options
| author | ewy <ewy0@protonmail.com> | 2026-06-01 18:47:44 +0200 |
|---|---|---|
| committer | ewy <ewy0@protonmail.com> | 2026-06-01 18:47:44 +0200 |
| commit | 46d032cd21b0e8e2c94a32333d3805ec76980cca (patch) | |
| tree | fbb8aed5c5a501aca1309f62a9d4440ca949ce4c /.pik/man.sh | |
| parent | 7585a488b7b1e1812f7ebf50107139e2fd65f035 (diff) | |
add man(1) generation
Diffstat (limited to '.pik/man.sh')
| -rw-r--r-- | .pik/man.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.pik/man.sh b/.pik/man.sh new file mode 100644 index 0000000..2066c5c --- /dev/null +++ b/.pik/man.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env bash +set -euo pipefail +MANDIR="$HOME/.local/share/man/man1" +mkdir -p "$MANDIR" +go run ./man +cp out/* "$MANDIR"
\ No newline at end of file |