#!/usr/bin/env bash set -ex if [ "$2" == "" ]; then echo call as $0 "" "" echo where src is the built documentation and echo branch should be "master" or "1.7" or so exit 1 fi src=$1 target=$2 set -ex echo "committing docs from ${src} to ${target}" git checkout gh-pages rm -rf docs/$target/* cp -r ${src}/build/html/* docs/$target if [ "$target" == "master" ]; then rm -rf docs/_static/* cp -r ${src}/build/html/_static/* docs/_static fi git add docs || true git config user.email "soumith+bot@pytorch.org" git config user.name "pytorchbot" # If there aren't changes, don't make a commit; push is no-op git commit -m "auto-generating sphinx docs" || true git push -u origin gh-pages