diff options
Diffstat (limited to 'buildtools/makeman')
| -rwxr-xr-x | buildtools/makeman | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/buildtools/makeman b/buildtools/makeman index b1d30afd..dee6d6ef 100755 --- a/buildtools/makeman +++ b/buildtools/makeman @@ -332,9 +332,7 @@ def main(args, mainout=sys.stdout, mainerr=sys.stderr): outdoc = makeman(name, file, indoc) except: os.remove(tempfile) - # Pass the exception upwards - (exc_type, exc_value, exc_traceback) = sys.exc_info() - raise exc_type, exc_value, exc_traceback + raise if outdoc == indoc: os.remove(tempfile) if outdoc is None: @@ -355,8 +353,7 @@ def main(args, mainout=sys.stdout, mainerr=sys.stderr): return 4 except: if verbosity: - (exc_type, exc_value, exc_traceback) = sys.exc_info() - raise exc_type, exc_value, exc_traceback + raise else: mainerr.write("makeman: internal error!\n") return 5 |