[thirdparty/systemd.git] / man / man.in

#!/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 "@BUILD_ROOT@" -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 "@BUILD_ROOT@" "$target"
exec man "@BUILD_ROOT@/$target"
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
90f003a3 ZJS	9	page="$(echo "$1" \| sed 's/\./\\./')"
90f003a3 ZJS	10	target=$(ninja -C "@BUILD_ROOT@" -t query man/man \| grep -E -m1 "man/$page\.[0-9]$" \| awk '{print $2}')
e9bbff18 ZJS	11	if [ -z "$target" ]; then
	12	echo "Cannot find page $1"
	13	exit 1
	14	fi
	15	ninja -C "@BUILD_ROOT@" "$target"
4fb33411	16	exec man "@BUILD_ROOT@/$target"