From c4a45f687fcfc38a125d863f8af59cc6696fb0cc Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 4 Apr 2014 14:45:50 +0000 Subject: [PATCH] translate10 do the right thing --- lib/src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/Makefile b/lib/src/Makefile index cedfae9f9..b42a33c27 100644 --- a/lib/src/Makefile +++ b/lib/src/Makefile @@ -148,7 +148,7 @@ TRANSLATE10=TranslateEng.pgf TranslateBul.pgf TranslateChi.pgf TranslateGer.pgf # Without dependencies: Translate10: - $(GFMKT) -name=Translate10 $(TRANSLATE8) +RTS -K32M + $(GFMKT) -name=Translate10 $(TRANSLATE10) +RTS -K32M # With dependencies: Translate8.pgf: $(TRANSLATE10)