From 1af6e2d4cc7b5ef01cfd2417949bfe4f48ef0a46 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 17 Jun 2007 14:16:01 +0000 Subject: [PATCH] marked deprecated productions in GF.cf --- resource-1.0/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index 8bdacea7d..56ed7ecde 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -12,7 +12,7 @@ GFC=$(GFCC) -src # comment the first and uncomment the second in Windows GFCP=$(GFC) -preproc=./mkPresent -GFCCP=$(GFCC) -preproc=./mkPresent +GFCCP=$(GFCC) -preproc=./mkPresent -p #GFCP=$(GFC) -preproc=mkPresent