bin/setup-man

Mon, 09 Oct 2023 18:25:32 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Mon, 09 Oct 2023 18:25:32 -0500
changeset 1130
91a00bcc28f9
parent 756
8bc91181db9d
permissions
-rwxr-xr-x

Update for indent-blankline 3.x

#!/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

mercurial