diff options
author | libele | 2022-05-02 22:43:12 -0500 |
---|---|---|
committer | libele | 2022-05-02 22:43:12 -0500 |
commit | 554f9d90c4d813c1b650915e5a048758a65f0ed4 (patch) | |
tree | 01ee405502a1c3a34e542a743abdb3b2943ad064 /make-integration-settings.mk | |
download | aur-554f9d90c4d813c1b650915e5a048758a65f0ed4.tar.gz |
subject to change
Diffstat (limited to 'make-integration-settings.mk')
-rw-r--r-- | make-integration-settings.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/make-integration-settings.mk b/make-integration-settings.mk new file mode 100644 index 000000000000..eecb02012751 --- /dev/null +++ b/make-integration-settings.mk @@ -0,0 +1,13 @@ +INTEGRATION=1 + +BUILTINCOMPS=../dist/usr/bin +INTERNAL=../dist/usr/share/inform7 + +INBLORBNAME=inblorb +INFORM6NAME=inform6 +INFORM7NAME=inform7 +INTESTNAME=intest + +BUILTINHTML=$(INTERNAL)/Documentation/ +BUILTINHTMLINNER=$(BUILTINHTML) +INDOCOPTS=-to $(BUILTINHTML) website |