diff options
Diffstat (limited to 'make-integration-settings.mk')
-rw-r--r-- | make-integration-settings.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/make-integration-settings.mk b/make-integration-settings.mk index e62257e7fbfa..ccd85e8d6103 100644 --- a/make-integration-settings.mk +++ b/make-integration-settings.mk @@ -1,13 +1,13 @@ INTEGRATION=1 BUILTINCOMPS=../dist/usr/bin -INTERNAL=../dist/usr/share/inform7 +INTERNAL=../dist/usr/lib/inform7 INBLORBNAME=inblorb INFORM6NAME=i6 -INFORM7NAME=i7 +INFORM7NAME=ni INTESTNAME=intest -BUILTINHTML=$(INTERNAL)/Documentation/ +BUILTINHTML=../dist/usr/share/doc/inform7 BUILTINHTMLINNER=$(BUILTINHTML) INDOCOPTS=-to $(BUILTINHTML) website |