More refactoring, this time allowing different file extensions

and a different master file. Also fix environment warning reporting
and improve handling of error conditions.

1 files changed, 1 insertions, 7 deletions

diff --git a/sphinx-build.py b/sphinx-build.py
index ecd6febe5..7c305e3d9 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))