chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
git-debrebase(1): document convert-to-gbp
[dgit.git]
/
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"