diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-09-30 14:24:01 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-09-30 14:43:12 +0200 |
commit | 550f3ba68dc23b417f9ae4383dff3931ebe4b6c1 (patch) | |
tree | 63223792900c4704f5e2008455e130b3d9d95349 /man/html.in | |
parent | 885a4e6ca772dc04452bd34541599d295ff8cd5a (diff) | |
download | systemd-550f3ba68dc23b417f9ae4383dff3931ebe4b6c1.tar.gz |
man/html: fix invocation for pages which are *not* symlinks
It seems I tested that redirects work, but I forgot to check that non-redirects
are still fine too ;(
Diffstat (limited to 'man/html.in')
-rwxr-xr-x | man/html.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/html.in b/man/html.in index 23b77ebbb0..c142f581de 100755 --- a/man/html.in +++ b/man/html.in @@ -13,7 +13,7 @@ target="man/$1.html" ninja -C "@BUILD_ROOT@" "$target" fullname="@BUILD_ROOT@/$target" -redirect="$(readlink "$fullname" 2>/dev/null)" +redirect="$(test -f "$fullname" && readlink "$fullname" || :)" if [ -n "$redirect" ]; then ninja -C "@BUILD_ROOT@" "man/$redirect" |