diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index 6de4e3e38..fd8153e9a 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -73,8 +73,8 @@ present: $(GFCP) common/ConstructX.gf mv */*.gfc */*.gfr ../present touch api/Constructors.gf - $(GFCCP) api/Constructors???.gf - mv api/Constructors*.gfc api/Constructors*.gfr ../alltenses + $(GFCCP) -path=api:present:prelude api/Constructors???.gf + mv api/Constructors*.gfc api/Constructors*.gfr ../present mathematical: $(GFCC) mathematical/MathematicalEng.gf