diff options
author | georg.brandl <devnull@localhost> | 2008-02-01 20:44:17 +0000 |
---|---|---|
committer | georg.brandl <devnull@localhost> | 2008-02-01 20:44:17 +0000 |
commit | c46c8ccc218e4d43e1c73484f1ab209eacd09192 (patch) | |
tree | b250499a21cd2db4748cb1a0102e882120878a5e /sphinx-build.py | |
parent | 3eb7bb6d2e077a8b8a4aac1fd3d1e965bf91f3eb (diff) | |
download | sphinx-c46c8ccc218e4d43e1c73484f1ab209eacd09192.tar.gz |
More refactoring, this time allowing different file extensions
and a different master file. Also fix environment warning reporting
and improve handling of error conditions.
Diffstat (limited to 'sphinx-build.py')
-rw-r--r-- | sphinx-build.py | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/sphinx-build.py b/sphinx-build.py index ecd6febe..7c305e3d 100644 --- a/sphinx-build.py +++ b/sphinx-build.py @@ -11,10 +11,4 @@ import sys if __name__ == '__main__': from sphinx import main - try: - sys.exit(main(sys.argv)) - except Exception: - import traceback - traceback.print_exc() - import pdb - pdb.post_mortem(sys.exc_traceback) + sys.exit(main(sys.argv)) |