]>
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 | ||
90f003a3 ZJS |
9 | page="$(echo "$1" | sed 's/\./\\./')" |
10 | target=$(ninja -C "@BUILD_ROOT@" -t query man/man | grep -E -m1 "man/$page\.[0-9]$" | awk '{print $2}') | |
e9bbff18 ZJS |
11 | if [ -z "$target" ]; then |
12 | echo "Cannot find page $1" | |
13 | exit 1 | |
14 | fi | |
15 | ninja -C "@BUILD_ROOT@" "$target" | |
4fb33411 | 16 | exec man "@BUILD_ROOT@/$target" |