diff options
-rwxr-xr-x | local-pod-man | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/local-pod-man b/local-pod-man deleted file mode 100755 index 3c3e0ea..0000000 --- a/local-pod-man +++ /dev/null @@ -1,13 +0,0 @@ -#!/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" |