remove unnecessary files

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