diff options
| author | hallgren <hallgren@chalmers.se> | 2010-01-12 15:25:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-01-12 15:25:56 +0000 |
| commit | 8077e541703b822be30e4ce4ab6dfecdb60c27b8 (patch) | |
| tree | 1bcc76d69cfe859688897d0e19089f727f411f80 | |
| parent | f8af5122b5dd1e09288df59e5f6d77705f99b287 (diff) | |
Makefile for Foods.pgf (machine readable version of README)
| -rw-r--r-- | contrib/summerschool/foods/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/summerschool/foods/Makefile b/contrib/summerschool/foods/Makefile new file mode 100644 index 000000000..5f42041ae --- /dev/null +++ b/contrib/summerschool/foods/Makefile @@ -0,0 +1,8 @@ + +all:: Foods.pgf + +Foods.pgf: Foods???.gf + gf -make -s Foods???.gf + +clean: + rm -rf *.gfo Foods.pgf |