diff options
Diffstat (limited to 'packaging')
-rwxr-xr-x | packaging/release-rsync | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packaging/release-rsync b/packaging/release-rsync index f7cfcfe5..fa1da234 100755 --- a/packaging/release-rsync +++ b/packaging/release-rsync @@ -53,7 +53,7 @@ def main(): doc_prefix = line.split('=')[1].strip() if doc_prefix != '/usr': warn(f"*** The documentation was built with prefix {doc_prefix} instead of /usr ***") - warn("*** Read the md2man script for a way to override this. ***\n") + die("*** Read the md2man script for a way to override this. ***") break if line.startswith('.P'): die("Failed to find the prefix comment at the start of the rsync.1 manpage.") |