From ec301fea5e61111670aa1eeb73488c451241b348 Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 11 Nov 2008 12:26:00 +0000 Subject: [PATCH] make food.pgf in src/server from resource-foods --- src/server/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server/Makefile b/src/server/Makefile index 547fadfba..f2f175eb6 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -21,7 +21,7 @@ gf-gwt.jar: cp $@ ../../lib/java food.pgf: - gfc --make --name=food ../../examples/tutorial/food/Food{Eng,Ita}.gf + gfc --make --name=food ../../examples/tutorial/resource-foods/Foods{Eng,Fin,Fre,Ger,Ita,Swe}.gf Demo%-parse.pgf: ../../next-lib/src/demo/Demo%.gf gfc $(GFCFLAGS) --make --erasing=on --name=Demo$*-parse $^