marked deprecated productions in GF.cf
This commit is contained in:
1 parent
a7a3933544
commit
1af6e2d4cc
1 file changed
+1
-1
@@ -12,7 +12,7 @@ GFC=$(GFCC) -src
|
|||||||
|
|
||||||
# comment the first and uncomment the second in Windows
|
# comment the first and uncomment the second in Windows
|
||||||
GFCP=$(GFC) -preproc=./mkPresent
|
GFCP=$(GFC) -preproc=./mkPresent
|
||||||
GFCCP=$(GFCC) -preproc=./mkPresent
|
GFCCP=$(GFCC) -preproc=./mkPresent -p
|
||||||
#GFCP=$(GFC) -preproc=mkPresent
|
#GFCP=$(GFC) -preproc=mkPresent
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user