diff options
Diffstat (limited to 'contrib/summerschool/foods/Makefile')
| -rw-r--r-- | contrib/summerschool/foods/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/contrib/summerschool/foods/Makefile b/contrib/summerschool/foods/Makefile deleted file mode 100644 index 5738bc281..000000000 --- a/contrib/summerschool/foods/Makefile +++ /dev/null @@ -1,8 +0,0 @@ - -all:: Foods.pgf - -Foods.pgf: Foods???.gf - gf -make -s -optimize-pgf Foods???.gf - -clean: - rm -rf *.gfo Foods.pgf |