bin/setup-man@911aa9d81e71
bin/setup-man
Thu, 09 Mar 2023 12:45:11 -0600
- author
- Meredith Howard <mhoward@roomag.org>
- date
- Thu, 09 Mar 2023 12:45:11 -0600
- changeset 1073
- 911aa9d81e71
- parent 756
-
8bc91181db9d
- permissions
- -rwxr-xr-x
Switch to kanagawa until themer's jellybeans is fixed
#!/bin/sh
set -eu
cd $(hg root)
SOURCES="${@:-$(hg stat -Aqn -I 'bin/*')}"
MAN1=".man/man1"
mkdir -p $MAN1 || true
for SRC in $(grep -El '^=(head|cut)' $SOURCES); do
DST="${MAN1}/$(basename $SRC).1"
if [ ! -f $DST ] || [ "$SRC" -nt "$SRC" ]; then
pod2man -v --errors=stderr "$SRC" "$DST"
fi
done