From 46281b25dd37b477ce48d569034b6679833093b6 Mon Sep 17 00:00:00 2001
From: Oliver Giles <ohw.giles@gmail.com>
Date: Tue, 17 Sep 2019 20:52:12 +0300
Subject: [PATCH] remove docker-build.sh script

too many scripts...docker users can figure this out for themselves
---
 docker-build.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 docker-build.sh

diff --git a/docker-build.sh b/docker-build.sh
deleted file mode 100755
index 7f5655d..0000000
--- a/docker-build.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash -e
-
-$PROJECT_DIR=`dirname ${BASH_SOURCE[0]}`
-
-docker build -t laminar${1:-latest} -f $PROJECT_DIR/docker/Dockerfile $PROJECT_DIR