From 430ba8cda34107237d6cdca6fdc8ecbda9e0fbc6 Mon Sep 17 00:00:00 2001
From: Aanand Prasad <aanand.prasad@gmail.com>
Date: Tue, 28 Jul 2015 15:06:22 +0100
Subject: [PATCH] Remove custom docs script

Signed-off-by: Aanand Prasad <aanand.prasad@gmail.com>
---
 script/docs | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 script/docs

diff --git a/script/docs b/script/docs
deleted file mode 100755
index 31c58861d..000000000
--- a/script/docs
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-set -ex
-
-# import the existing docs build cmds from docker/docker
-DOCSPORT=8000
-GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD 2>/dev/null)
-DOCKER_DOCS_IMAGE="compose-docs$GIT_BRANCH"
-DOCKER_RUN_DOCS="docker run --rm -it -e NOCACHE"
-
-docker build -t "$DOCKER_DOCS_IMAGE" -f docs/Dockerfile .
-$DOCKER_RUN_DOCS -p $DOCSPORT:8000 "$DOCKER_DOCS_IMAGE" mkdocs serve