diff --git a/man/man.in b/man/man.in index 5700a642bd..ab1c1fdc73 100755 --- a/man/man.in +++ b/man/man.in @@ -6,7 +6,8 @@ if [ -z "$1" ]; then exit 1 fi -target=$(ninja -C "@BUILD_ROOT@" -t query man/man | grep -E -m1 "man/$1\.[0-9]$" | awk '{print $2}') +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