summaryrefslogtreecommitdiff
path: root/man/html.in
blob: c142f581de010f4002c07976215d932bcb3b6bc2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/sh
set -e

if [ -z "$1" ]; then
    echo "Use: $0 page-name (with no section suffix)"
    exit 1
fi

# make sure the rules have been regenerated (in case man/update-man-rules was just run)
ninja -C "@BUILD_ROOT@" version.h

target="man/$1.html"
ninja -C "@BUILD_ROOT@" "$target"

fullname="@BUILD_ROOT@/$target"
redirect="$(test -f "$fullname" && readlink "$fullname" || :)"
if [ -n "$redirect" ]; then
    ninja -C "@BUILD_ROOT@" "man/$redirect"

    fullname="@BUILD_ROOT@/man/$redirect"
fi

set -x
exec xdg-open "$fullname"