From 9633ea2c07b4aa57f8141afa0c57ed6614209b5a Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Fri, 8 Feb 2019 12:03:07 +0000 Subject: [PATCH] And again --- makescript.txt | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/makescript.txt b/makescript.txt index 920e4b86d..36f48020d 100644 --- a/makescript.txt +++ b/makescript.txt @@ -166,16 +166,18 @@ INFORM6X = inform6/Tangled/inform6 .PHONY: all -all: tools srules Internal/Languages/English/Syntax.preform +all: tools srules localintegration .PHONY: force -force: forcetools forcesrules Internal/Languages/English/Syntax.preform +force: forcetools forcesrules localintegration -# (Of course those four phony targets are yet to be defined.) - -Internal/Languages/English/Syntax.preform: +.PHONY: localintegration +localintegration: cp -f 'inform7/Tangled/Syntax.preform' "Internal/Languages/English/Syntax.preform" + cp -R -f $(INFORM7WEB)/Appendix\ B/*.i6t Internal/I6T + +# (Of course those other four phony targets are yet to be defined.) # ----------------------------------------------------------------------------- # Target "makers"