local-pod-man: Wrapper script to make previewing pod manpages easy

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/local-pod-man b/local-pod-man
new file mode 100755 (executable)
index 0000000..3c3e0ea
--- /dev/null
+++ b/local-pod-man
@@ -0,0 +1,13 @@
+#!/bin/bash
+set -e
+
+case "$#.$1" in
+1.[^-]*) ;;
+*) echo >&2 'usage: ./local-pod-man dgit-something[.7[.pod]]'; exit 16;;
+esac
+base="$1"
+base="${base%.pod}"
+base="${base%.7}"
+
+make "$base.7"
+man -l "$base.7"