]>
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 | ||
e9bbff18 ZJS |
12 | target="man/$1.html" |
13 | ninja -C "@BUILD_ROOT@" "$target" | |
4338ab81 ZJS |
14 | |
15 | fullname="@BUILD_ROOT@/$target" | |
16 | redirect="$(readlink "$fullname" 2>/dev/null)" | |
17 | if [ -n "$redirect" ]; then | |
18 | ninja -C "@BUILD_ROOT@" "man/$redirect" | |
19 | ||
20 | fullname="@BUILD_ROOT@/man/$redirect" | |
21 | fi | |
22 | ||
e9bbff18 | 23 | set -x |
4338ab81 | 24 | exec xdg-open "$fullname" |