[Commits] r557 - website

[commits at geoext.org]

Author: tschaub
Date: 2009-04-30 21:26:11 +0200 (Thu, 30 Apr 2009)
New Revision: 557

Modified:
   website/pavement.py
Log:
Doing the equivalent of make clean html.

Modified: website/pavement.py
===================================================================
--- website/pavement.py	2009-04-30 19:23:14 UTC (rev 556)
+++ website/pavement.py	2009-04-30 19:26:11 UTC (rev 557)
@@ -117,6 +117,6 @@
     destdir.rmtree()
     builtdocs = options.builddir / "html"
     builtdocs.move(destdir)
-    #(options.builddir / 'doctrees').rmtree()
+    options.builddir.rmtree()