@task
    @needs('cog', 'paver.doctools.html')
    def html():
        builtdocs = path("docs") / options.sphinx.builddir / "html"
        destdir = path("paver") / "docs"
        destdir.rmtree_p()
        builtdocs.move(destdir)
Build Paver's documentation and install it into paver/docs
dataset/ETHPy150Open paver/paver/pavement.py/html