diff options
Diffstat (limited to 'docs/release.sh')
-rw-r--r-- | docs/release.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/docs/release.sh b/docs/release.sh deleted file mode 100644 index b84da01..0000000 --- a/docs/release.sh +++ /dev/null @@ -1,16 +0,0 @@ -#! /bin/bash -set -e - -echo "---- [release] Building Docs ----" -docker run --rm -it -p 8000:8000 -v `pwd`:/docs squidfunk/mkdocs-material build - -cp CNAME ./build - -git add -A -git commit -m "$1" - -echo "---- [release] Push: Master ----" -git push origin master - -echo "---- [release] Push: Build ----" -git subtree push --prefix build origin gh-pages |