[Python-checkins] r57062 - doctools/trunk/sphinx/builder.py

[georg.brandl]

Author: georg.brandl
Date: Wed Aug 15 16:25:09 2007
New Revision: 57062

Modified:
   doctools/trunk/sphinx/builder.py
Log:
Copy the environment pickle to the output dir in the web builder.


Modified: doctools/trunk/sphinx/builder.py
==============================================================================
--- doctools/trunk/sphinx/builder.py	(original)
+++ doctools/trunk/sphinx/builder.py	Wed Aug 15 16:25:09 2007
@@ -597,6 +597,11 @@
         with open(path.join(self.outdir, 'searchindex.pickle'), 'wb') as f:
             self.indexer.dump(f, 'pickle')
 
+        # copy the environment file from the doctree dir to the output dir
+        # as needed by the web app
+        shutil.copyfile(path.join(self.doctreedir, ENV_PICKLE_FILENAME),
+                        path.join(self.outdir, ENV_PICKLE_FILENAME))
+
         # touch 'last build' file, used by the web application to determine
         # when to reload its environment and clear the cache
         open(path.join(self.outdir, LAST_BUILD_FILENAME), 'w').close()