local-pod-man

   1 #!/bin/bash
   2 set -e
   3
   4 case "$#.$1" in
   5 1.[^-]*) ;;
   6 *) echo >&2 'usage: ./local-pod-man dgit-something[.7[.pod]]'; exit 16;;
   7 esac
   8 base="$1"
   9 base="${base%.pod}"
  10 base="${base%.7}"
  11
  12 make "$base.7"
  13 man -l "$base.7"