From cb497ae3d04aa9fef3c3d62f149fe6f101dfaea0 Mon Sep 17 00:00:00 2001
From: Graham Nelson <graham.nelson@mod-langs.ox.ac.uk>
Date: Sun, 7 Apr 2024 10:31:45 +0100
Subject: [PATCH] Minor make change to accommodate Windows and Linux

---
 scripts/inform.mkscript | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/inform.mkscript b/scripts/inform.mkscript
index 4f2145e50..d3e8391ef 100644
--- a/scripts/inform.mkscript
+++ b/scripts/inform.mkscript
@@ -928,7 +928,9 @@ forcetransferadvice:
 {define: compile-inapp-documentation}
 	mkdir -p $(BUILTINHTMLINNER)
 	$(INBUILDX) -document-set resources/Documentation -document-to $(BUILTINHTMLINNER)
+	ifneq "$(BUILTINHTMLINNER)" "$(BUILTINHTML)"
 	cp -f $(BUILTINHTMLINNER)/xrefs.txt $(BUILTINHTML)
+	endif
 {end-define}
 
 .PHONY: transferdocumentation