From 5d9a1bafb6d436317c2c5cc894e2a0195eecbc4a Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 22 Aug 2008 07:06:07 +0000
Subject: [PATCH] Added target to lib/resource/Makefile for building a tarball
 of the compiled resource library.

---
 resource/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/resource/Makefile b/resource/Makefile
index 3a31d856..e35944ba 100644
--- a/resource/Makefile
+++ b/resource/Makefile
@@ -1,7 +1,7 @@
 RUNGHC=runghc
 RUNMAKE=$(RUNGHC) Make.hs
 
-.PHONY: all present alltenses lang api math test demo synopsis link clean
+.PHONY: all present alltenses lang api math test demo synopsis link compiled clean
 
 all: link present alltenses math
 
@@ -34,6 +34,9 @@ synopsis:
 link:
 	chmod a+x mkPresent
 
+compiled:
+	(cd .. && tar -zcf resource-compiled.tar.gz prelude alltenses present mathematical)
+
 clean:
 	$(RUNMAKE) clean