From 4766231dd9561aab716d94d42cac2e4e28e1cf82 Mon Sep 17 00:00:00 2001 From: Bertrand Chenal Date: Thu, 19 Jun 2008 01:23:40 +0200 Subject: [PATCH] Removed not very usefull log file --- doc/build.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/doc/build.py b/doc/build.py index 80f5466603..5f8ba523cc 100644 --- a/doc/build.py +++ b/doc/build.py @@ -13,7 +13,6 @@ status = sys.stdout confoverrides = {} freshenv = True buildername = 'html' -log = open('build_err.log', 'w') if not path.isdir(outdir): os.mkdir(outdir) if not path.isdir(static_dir): @@ -21,7 +20,6 @@ if not path.isdir(static_dir): nocolor() app = Sphinx(srcdir, confdir, outdir, doctreedir, buildername, - confoverrides, status, log, freshenv) + confoverrides, status, sys.stderr, freshenv) app.builder.build_all() -log.close()