From 46d032cd21b0e8e2c94a32333d3805ec76980cca Mon Sep 17 00:00:00 2001 From: ewy Date: Mon, 1 Jun 2026 18:47:44 +0200 Subject: add man(1) generation --- .pik/install.sh | 2 ++ .pik/man.sh | 6 ++++++ 2 files changed, 8 insertions(+) create mode 100644 .pik/man.sh (limited to '.pik') diff --git a/.pik/install.sh b/.pik/install.sh index 0b23681..82efd4a 100644 --- a/.pik/install.sh +++ b/.pik/install.sh @@ -17,4 +17,6 @@ if [[ $PATH != *"$DEST_FOLDER"* ]] ; then exit 1 fi +bash .pik/man.sh + echo "congratulations! You are now using pik $(pik --version)" \ No newline at end of file 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 -- cgit v1.3.1