bin/setup-man@0d793459267d
bin/setup-man
Wed, 22 Feb 2023 12:40:39 -0600
- author
- Meredith Howard <mhoward@roomag.org>
- date
- Wed, 22 Feb 2023 12:40:39 -0600
- changeset 1042
- 0d793459267d
- parent 756
- 8bc91181db9d
- permissions
- -rwxr-xr-x
update ginit
#!/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
