#!/bin/sh
set -e

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

page="$(echo "$1" | sed 's/\./\\./')"
target=$(ninja -C "/tmp/systemd-244/build" -t query man/man | grep -E -m1 "man/$page\.[0-9]$" | awk '{print $2}')
if [ -z "$target" ]; then
    echo "Cannot find page $1"
    exit 1
fi
ninja -C "/tmp/systemd-244/build" "$target"
exec man "/tmp/systemd-244/build/$target"
