diff --git a/man/html.in b/man/html.in index aaff9d1383..f11919b324 100755 --- a/man/html.in +++ b/man/html.in @@ -8,7 +8,7 @@ if [ -z "$1" ]; then fi # make sure the rules have been regenerated (in case update-man-rules was just run) -ninja -C "@BUILD_ROOT@" version.h +ninja -C "@BUILD_ROOT@" src/version/version.h target="man/$1.html" ninja -C "@BUILD_ROOT@" "$target" diff --git a/man/man.in b/man/man.in index 201c32dae2..f6d511ec03 100755 --- a/man/man.in +++ b/man/man.in @@ -9,7 +9,7 @@ if [ -z "$1" ]; then fi # make sure the rules have been regenerated (in case update-man-rules was just run) -ninja -C "@BUILD_ROOT@" version.h +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}')