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