]>
Commit | Line | Data |
---|---|---|
e9bbff18 ZJS |
1 | #!/bin/sh |
2 | set -e | |
3 | ||
4 | if [ -z "$1" ]; then | |
5 | echo "Use: $0 page-name (with no section suffix)" | |
6 | exit 1 | |
7 | fi | |
8 | ||
cb713f16 | 9 | # make sure the rules have been regenerated (in case man/update-man-rules was just run) |
3919ecc5 ZJS |
10 | ninja -C "@BUILD_ROOT@" version.h |
11 | ||
90f003a3 ZJS |
12 | page="$(echo "$1" | sed 's/\./\\./')" |
13 | target=$(ninja -C "@BUILD_ROOT@" -t query man/man | grep -E -m1 "man/$page\.[0-9]$" | awk '{print $2}') | |
e9bbff18 ZJS |
14 | if [ -z "$target" ]; then |
15 | echo "Cannot find page $1" | |
16 | exit 1 | |
17 | fi | |
18 | ninja -C "@BUILD_ROOT@" "$target" | |
4338ab81 ZJS |
19 | |
20 | fullname="@BUILD_ROOT@/$target" | |
21 | redirect="$(sed -n -r '1 s|^\.so man[0-9]/(.*)|\1|p' "$fullname")" | |
22 | if [ -n "$redirect" ]; then | |
23 | ninja -C "@BUILD_ROOT@" "man/$redirect" | |
24 | ||
25 | fullname="@BUILD_ROOT@/man/$redirect" | |
26 | fi | |
27 | ||
28 | exec man "$fullname" |