@@ -0,0 +1,924 @@
+#!/usr/bin/env python3%0A%0Aimport os%0Aimport shutil%0Aimport subprocess%0Aimport tempfile%0A%0AREPO = 'git@github.com:nicholasbishop/dumbmath-rs.git'%0ABRANCH = 'gh-pages'%0ACOMMIT_MSG = 'Automatic-ish rustdoc update'%0A%0A%0Adef run_cmd(cmd, cwd=None):%0A    print(' '.join(cmd))%0A    subprocess.check_call(cmd, cwd=cwd)%0A%0A%0Adef main():%0A    run_cmd(%5B'cargo', 'doc'%5D)%0A%0A    with tempfile.TemporaryDirectory(prefix='update-gh-pages-') as tmp_dir:%0A        run_cmd(%5B'git', 'clone', REPO, tmp_dir, '--branch', BRANCH%5D)%0A        dst_doc_dir = os.path.join(tmp_dir, 'doc')%0A%0A        print('rm -r', dst_doc_dir)%0A        shutil.rmtree(dst_doc_dir)%0A%0A        print('cp -r', 'target/doc', dst_doc_dir)%0A        shutil.copytree('target/doc', dst_doc_dir)%0A%0A        run_cmd(%5B'git', 'add', 'doc'%5D, cwd=tmp_dir)%0A        run_cmd(%5B'git', 'commit', 'doc', '-m', COMMIT_MSG%5D, cwd=tmp_dir)%0A        run_cmd(%5B'git', 'push'%5D, cwd=tmp_dir)%0A%0A%0Aif __name__ == '__main__':%0A    main()%0A

Add rustdoc update script