

@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()
    destdir.move(destdir)

dataset/ETHPy150Open paver/paver/pavement.py html/VarMisuse@58/108 `builtdocs`->`destdir`