diff options
| author | hallgren <hallgren@chalmers.se> | 2014-12-03 12:26:55 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-12-03 12:26:55 +0000 |
| commit | 15a47610be12e3ef8c0279447cb24195cd47d449 (patch) | |
| tree | c944edb6a18e496745e8c50355e00537f4504bd6 | |
| parent | 72e45bbf95d9fc0ff05967afbaacff92d5a9308b (diff) | |
examples/app/Makefile: fix dependencies and grammar name for App12.pgf
| -rw-r--r-- | examples/app/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index d4645f08a..45c34961a 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -15,10 +15,10 @@ APP11=AppEng.pgf AppBul.pgf AppChi.pgf AppGer.pgf AppSwe.pgf AppHin.pgf AppFin.p APP12=$(APP11) AppCat.pgf # With dependencies: -App11.pgf: $(APP) +App11.pgf: $(APP11) $(GFMKT) -name=App11 $(APP11) +RTS -K200M -App12.pgf: $(APP) - $(GFMKT) -name=App11 $(APP12) +RTS -K200M +App12.pgf: $(APP12) + $(GFMKT) -name=App12 $(APP12) +RTS -K200M # Without dependencies: App11: |