From de7aadaf595e2ddf7f994e306145b2a9b51a17cc Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 12 Jan 2010 15:25:56 +0000
Subject: [PATCH] Makefile for Foods.pgf (machine readable version of README)

---
 contrib/summerschool/foods/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 contrib/summerschool/foods/Makefile

diff --git a/contrib/summerschool/foods/Makefile b/contrib/summerschool/foods/Makefile
new file mode 100644
index 000000000..5f42041ae
--- /dev/null
+++ b/contrib/summerschool/foods/Makefile
@@ -0,0 +1,8 @@
+
+all:: Foods.pgf
+
+Foods.pgf: Foods???.gf
+	gf -make -s Foods???.gf
+
+clean:
+	rm -rf *.gfo Foods.pgf