diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-11 12:26:00 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-11 12:26:00 +0000 |
| commit | a9d870d76a34fc1913fe70a1330d227219e2b743 (patch) | |
| tree | 779e82b022f2ce4b7c39d5a902f247ba314c55b7 /src | |
| parent | 18e80ce5de09d0f001c928e7a17468a15383ee20 (diff) | |
make food.pgf in src/server from resource-foods
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 $^ |