blob: 5077c345e540cfc20607e76e197d18c2fd8332d3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/sh
set -eu
die() {
echo "$@" >&2
exit 1
}
script=$0
path=${script%/*}
prefix=${path%/bin}
exman="${prefix}/share/exman"
[ -d "${exman}" ] || exman=$prefix
system=${1:-}
[ -n "${system}" ] || die 'What system do you want?'
shift
export MANPATH="${exman}/${system}"
[ -d "${MANPATH}" ] || die "No manuals for ${system}"
export MANSECT
for sect in "${MANPATH}"/man*/; do
sect=${sect%/}
sect=${sect##*/man}
MANSECT="${MANSECT:-}${MANSECT:+:}${sect}"
done
exec man "$@"
|