diff options
| -rwxr-xr-x | man/html.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/man/html.in b/man/html.in index 5e545b7412..aaff9d1383 100755 --- a/man/html.in +++ b/man/html.in @@ -14,7 +14,11 @@ target="man/$1.html" ninja -C "@BUILD_ROOT@" "$target" fullname="@BUILD_ROOT@/$target" -redirect="$(test -f "$fullname" && readlink "$fullname" || :)" +if [ -f "$fullname" ]; then + redirect="$(readlink "$fullname" || :)" +else + redirect="" +fi if [ -n "$redirect" ]; then ninja -C "@BUILD_ROOT@" "man/$redirect" |