]>
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 | ||
3919ecc5 ZJS |
9 | # make sure the rules have been regenrated (in case man/update-man-rules was just run) |
10 | ninja -C "@BUILD_ROOT@" version.h | |
11 | ||
e9bbff18 ZJS |
12 | target="man/$1.html" |
13 | ninja -C "@BUILD_ROOT@" "$target" | |
14 | set -x | |
4fb33411 | 15 | exec xdg-open "@BUILD_ROOT@/$target" |