diff options
| -rwxr-xr-x | bin/dohtml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/dohtml b/bin/dohtml index 054ab36ba..cdffad645 100755 --- a/bin/dohtml +++ b/bin/dohtml @@ -158,7 +158,8 @@ def main(): for x in args: basename = os.path.basename(x) dirname = os.path.dirname(x) - success = success and install(basename, dirname, options) + if not install(basename, dirname, options): + success = False if success: retcode = 0 |