From a7a39335440f259d873aff0f214b9a84c4229bc0 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 11 Jun 2007 14:53:08 +0000 Subject: [PATCH] toy1 with classes and using resource API --- resource-1.0/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index fd8153e9..8bdacea7 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -44,8 +44,8 @@ alltenses: $(GFC) common/ConstructX.gf cp -p */*.gfc */*.gfr ../alltenses touch api/Constructors.gf - $(GFCC) api/Constructors???.gf - cp -p api/Constructors*.gfc api/Constructors*.gfr ../alltenses + $(GFCC) api/Syntax???.gf + cp -p api/Syntax*.gfc api/Syntax*.gfr ../alltenses @@ -73,8 +73,8 @@ present: $(GFCP) common/ConstructX.gf mv */*.gfc */*.gfr ../present touch api/Constructors.gf - $(GFCCP) -path=api:present:prelude api/Constructors???.gf - mv api/Constructors*.gfc api/Constructors*.gfr ../present + $(GFCCP) -path=api:present:prelude api/Syntax???.gf + mv api/Syntax*.gfc api/Syntax*.gfr ../present mathematical: $(GFCC) mathematical/MathematicalEng.gf