diff options
Diffstat (limited to 'man/man.in')
| -rwxr-xr-x | man/man.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/man.in b/man/man.in index 12eb332ee0..40b7476bc5 100755 --- a/man/man.in +++ b/man/man.in @@ -6,7 +6,7 @@ if [ -z "$1" ]; then exit 1 fi -# make sure the rules have been regenerated (in case man/update-man-rules was just run) +# make sure the rules have been regenerated (in case update-man-rules was just run) ninja -C "@BUILD_ROOT@" version.h page="$(echo "$1" | sed 's/\./\\./')" |