Przeglądaj źródła

Rename the quick HTML generation to 'qhtml'.

This keeps the old 'paver html' intact.  Quick HTML generation doesn't update
docstrings, nor does it follow symbolic links.
Vincent Driessen 15 lat temu
rodzic
commit
ca555f0576
1 zmienionych plików z 10 dodań i 1 usunięć
  1. 10 1
      pavement.py

+ 10 - 1
pavement.py

@@ -16,8 +16,17 @@ def clean_docs(options):
 
 
 @task
-@needs("paver.doctools.html")
+@needs("clean_docs", "paver.doctools.html")
 def html(options):
+    destdir = path("Documentation")
+    destdir.rmtree()
+    builtdocs = sphinx_builddir(options)
+    builtdocs.move(destdir)
+
+
+@task
+@needs("paver.doctools.html")
+def qhtml(options):
     destdir = path("Documentation")
     builtdocs = sphinx_builddir(options)
     sh("rsync -az %s/ %s" % (builtdocs, destdir))