diff options
Diffstat (limited to 'make-integration-settings.mk')
| -rw-r--r-- | make-integration-settings.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-integration-settings.mk b/make-integration-settings.mk index eecb02012751..e62257e7fbfa 100644 --- a/make-integration-settings.mk +++ b/make-integration-settings.mk @@ -4,8 +4,8 @@ BUILTINCOMPS=../dist/usr/bin INTERNAL=../dist/usr/share/inform7 INBLORBNAME=inblorb -INFORM6NAME=inform6 -INFORM7NAME=inform7 +INFORM6NAME=i6 +INFORM7NAME=i7 INTESTNAME=intest BUILTINHTML=$(INTERNAL)/Documentation/ |