From 450e4e59597409c7ac684de111c28034509af3b2 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 11 Apr 2014 18:56:59 +0000
Subject: [PATCH] App11.pgf in Makefile

---
 examples/app/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/examples/app/Makefile b/examples/app/Makefile
index 45b7f1961..51fe6c154 100644
--- a/examples/app/Makefile
+++ b/examples/app/Makefile
@@ -22,6 +22,10 @@ AppSpa: AppSpa.pgf
 
 TRANSLATE10=AppEng.pgf AppBul.pgf AppChi.pgf AppGer.pgf AppSwe.pgf AppHin.pgf AppFin.pgf AppFre.pgf AppIta.pgf AppSpa.pgf
 TRANSLATE11=$(TRANSLATE10) AppDut.pgf
+# With dependencies:
+App11.pgf: $(TRANSLATE11)
+	$(GFMKT) -name=App11 $(TRANSLATE11) +RTS -K200M
+
 # Without dependencies:
 App11:
 	$(GFMKT) -name=App11 $(TRANSLATE11) +RTS -K200M