summaryrefslogtreecommitdiff
path: root/local-pod-man
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-30 17:22:06 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-30 17:22:06 +0000
commitd7a6aa9a248de9f10686497070e6fe401c8dd970 (patch)
tree5f0ff05d8996bcfceaa1eeec4facb7919f63c900 /local-pod-man
parent99fa5deb2b1d12fd8301ef79a9e6befdd0b1da9f (diff)
local-pod-man: Wrapper script to make previewing pod manpages easy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'local-pod-man')
-rwxr-xr-xlocal-pod-man13
1 files changed, 13 insertions, 0 deletions
diff --git a/local-pod-man b/local-pod-man
new file mode 100755
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"