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