]>
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" | |
4fb33411 | 19 | exec man "@BUILD_ROOT@/$target" |