From a59c01964223f808437ba4e4c1fe3ebbaf54b7cc Mon Sep 17 00:00:00 2001
From: Chris Lane <chris@chris-allen-lane.com>
Date: Fri, 31 Jan 2020 13:30:21 -0500
Subject: [PATCH] chore: removes `bin` directory

Removes the `bin` directory. It has been obsoleted by the `Makefile`,
and no downstream packages appeared to depend on it.
---
 bin/build_devel.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 bin/build_devel.sh

diff --git a/bin/build_devel.sh b/bin/build_devel.sh
deleted file mode 100755
index 4913757..0000000
--- a/bin/build_devel.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-# TODO: this script has been made obsolete by the Makefile, yet downstream
-# package managers plausibly rely on it for compiling locally. Remove this file
-# after downstream maintainers have had time to modify their packages to simply
-# invoke `make` in the project root.
-
-# locate the cheat project root
-BINDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-APPDIR=$(readlink -f "$BINDIR/..")
-
-# compile the executable
-cd $APPDIR
-
-make