From 1f731df2859ad9ce2164c097b5b3f956eb87c82d Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 21 Nov 2011 15:30:55 +0000
Subject: [PATCH] options for no-pmcfg compilation in lib/src/Make.hs (for
 library developers, rather than users); adding Thai to some demo and
 documentation

---
 contrib/summerschool/foods/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/contrib/summerschool/foods/Makefile b/contrib/summerschool/foods/Makefile
index 5738bc281..8d92fe3f7 100644
--- a/contrib/summerschool/foods/Makefile
+++ b/contrib/summerschool/foods/Makefile
@@ -4,5 +4,8 @@ all:: Foods.pgf
 Foods.pgf: Foods???.gf
 	gf -make -s -optimize-pgf Foods???.gf
 
+exper: Foods???.gf
+	gf -make -s -optimize-pgf Foods???.gf FoodsThai.gf
+
 clean:
 	rm -rf *.gfo Foods.pgf