diff --git a/build-docs.sh b/build-docs.sh deleted file mode 100755 index 2fcc201..0000000 --- a/build-docs.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh -VERSION="latest" - -(cd doc; make) - -rm -rf /tmp/buddy-doc/ -mkdir -p /tmp/buddy-doc/ -mv doc/*.html /tmp/buddy-doc/ - -git checkout gh-pages; - -rm -rf ./$VERSION -mv /tmp/buddy-doc/ ./$VERSION - -git add --all ./$VERSION -git commit -a -m "Update ${VERSION} doc"