code: def deploy_docs():
      
      run('rm -rf ./site/')
      build_docs()
      with util.cd('./site/'):
          run('git init')
          run('echo ".*pyc" > .gitignore')
          run('git config user.name "Travis CI"')
          run('git config user.email "%s"' % os.environ['EMAIL'])
          run('git add .')
          run('git commit -m "Deploy to GitHub Pages"')
          run(
              'git push --force --quiet "https://{GH_TOKEN}@{GH_REF}" '
              'master:gh-pages > /dev/null 2>&1'.format(
                  GH_TOKEN=os.environ['GH_TOKEN'],
                  GH_REF=os.environ['GH_REF'],
              )
          )
docs: Based on https://gist.github.com/domenic/ec8b0fc8ab45f39403dd