From 921798bc2ac2da72606cd51c6cc07e3d3bf52a2d 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.

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

diff --git a/lib/resource/Makefile b/lib/resource/Makefile
index 3a31d8566..e35944bab 100644
--- a/lib/resource/Makefile
+++ b/lib/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