From 83dd5e09e162b50d14f35cac8f5d48318e8c2e56 Mon Sep 17 00:00:00 2001 From: Akash Manohar J Date: Sun, 7 Jun 2015 22:27:53 +0530 Subject: [PATCH] Remove script for docs --- release_docs.sh | 8 -------- 1 file changed, 8 deletions(-) delete mode 100755 release_docs.sh diff --git a/release_docs.sh b/release_docs.sh deleted file mode 100755 index 91dd8c9..0000000 --- a/release_docs.sh +++ /dev/null @@ -1,8 +0,0 @@ -#! /usr/bin/env bash -MIX_ENV=docs mix docs -cd ../docs -git checkout gh-pages -cd - -rm -rf ../docs/hound -cp -R docs ../docs/hound -rm -rf docs