Yu Watanabe
aecb6eaed7
@BUILD_ROOT@ is replaced with the _quoted_ build path. Hence, if @BUILD_ROOT@ is quoted, the result is doubly quoted, and the script does not work if the path contains spaces. Fixes #37953.
31 lines
765 B
Bash
Executable File
31 lines
765 B
Bash
Executable File
#!/bin/sh
|
|
# SPDX-License-Identifier: LGPL-2.1-or-later
|
|
|
|
set -ex
|
|
|
|
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 update-man-rules was just run)
|
|
ninja -C @BUILD_ROOT@ src/version/version.h
|
|
|
|
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"
|
|
|
|
fullname=@BUILD_ROOT@/"$target"
|
|
redirect="$(sed -n -r '1 s|^\.so man[0-9]/(.*)|\1|p' "$fullname")"
|
|
if [ -n "$redirect" ]; then
|
|
ninja -C @BUILD_ROOT@ "man/$redirect"
|
|
|
|
fullname=@BUILD_ROOT@/man/"$redirect"
|
|
fi
|
|
|
|
exec man "$fullname"
|