[Commits] r520 - website

[commits at geoext.org]

Author: whit
Date: 2009-04-29 17:04:27 +0200 (Wed, 29 Apr 2009)
New Revision: 520

Modified:
   website/pavement.py
Log:
leave index pickles (to speed rebuilds?)

Modified: website/pavement.py
===================================================================
--- website/pavement.py	2009-04-29 14:03:23 UTC (rev 519)
+++ website/pavement.py	2009-04-29 15:04:27 UTC (rev 520)
@@ -123,6 +123,6 @@
     destdir.rmtree()
     builtdocs = options.builddir / "html"
     builtdocs.move(destdir)
-    (options.builddir / 'doctrees').rmtree()
+    #(options.builddir / 'doctrees').rmtree()