diff --git a/sphinx/application.py b/sphinx/application.py index a4fc90408..595495958 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -372,7 +372,6 @@ class Sphinx(object): else: self.emit('build-finished', None) self.builder.cleanup() - self.env = None # clear environment # ---- logging handling ---------------------------------------------------- def warn(self, message, location=None, prefix=None,