From 5c45e29e848e7f843c2dfe23c10db52c805bc3b9 Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Sat, 30 Apr 2022 12:04:24 +0100 Subject: [PATCH] Fixed makescript to build Standard Rules and Basic Inform incrementally again --- scripts/inform.mkscript | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/scripts/inform.mkscript b/scripts/inform.mkscript index 4378c2657..745a0039b 100644 --- a/scripts/inform.mkscript +++ b/scripts/inform.mkscript @@ -273,7 +273,7 @@ extensions: {components type: web set: extensions}$({SYMBOL}TANGLED) {end-compon {components type: web set: extensions} $({SYMBOL}TANGLED): $({SYMBOL}WEB)/Contents.w $({SYMBOL}WEB)/Sections/*.w - {tangle-extension name: SYMBOL} + {tangle-extension name: {SYMBOL}} {end-components} @@ -623,8 +623,7 @@ integration: \ transferkits \ transferinternals \ transferdocumentation \ - transferoutcomepages \ - transfertemplates + transferoutcomepages .PHONY: forceintegration forceintegration: \