diff options
Diffstat (limited to 'examples/gfcc/Makefile')
| -rw-r--r-- | examples/gfcc/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/examples/gfcc/Makefile b/examples/gfcc/Makefile deleted file mode 100644 index d260049fa..000000000 --- a/examples/gfcc/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -all: pgf runtime - -pgf: - gf -make ImperC.gf ImperJVM.gf - -runtime: - java -jar jasmin.jar runtime.j - -doc: - pdflatex complin.tex - pdflatex complin.tex - |