man/html.in


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/sh
set -e

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

target="man/$1.html"
ninja -C "@BUILD_ROOT@" "$target"
set -x
exec xdg-open "@BUILD_ROOT@/$target"