diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-26 15:36:32 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-26 15:56:07 +0100 |
commit | f2f3963213c4dd1fbbdc4d07d6f3cad6d96f8b19 (patch) | |
tree | a03dec8fe343c32e2e0751a034d023e01871caed /local-pod-man | |
parent | 03308e91aee7b29bbf68b44cb63da0bd03029d4c (diff) |
Drop obsolete local-pod-man script, now replaced by make %.view
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'local-pod-man')
-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" |