From f9563edf69f083287630f4b17db70d97524196d6 Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Wed, 12 Dec 2012 22:40:37 -0800
Subject: Delete old tools

If there was anything you actually used, tell me.
---
 src/webserver/GNUmakefile | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 src/webserver/GNUmakefile

(limited to 'src/webserver/GNUmakefile')

diff --git a/src/webserver/GNUmakefile b/src/webserver/GNUmakefile
deleted file mode 100644
index 0520440..0000000
--- a/src/webserver/GNUmakefile
+++ /dev/null
@@ -1,7 +0,0 @@
-.SUFFIXES:
-all:
-	${MAKE} -C ../.. webserver
-clean:
-	rm -r ../../obj/webserver/
-%::
-	${MAKE} -C ../.. obj/webserver/$@
-- 
cgit v1.2.3-70-g09d2