docs: def doc(ctx):
      '''Build the documentation'''
      header(doc.__doc__)
      with ctx.cd(os.path.join(ROOT, 'doc')):
          ctx.run('make html', pty=True)
      success('Documentation available in doc/_build/html')