diff options
| -rw-r--r-- | contrib/summerschool/foods/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
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 |