Obtained from:	https://github.com/gnustep/tools-make/commit/3ff4ee8a053b85d63cd34f645258902bb0dc6f04

--- Instance/Documentation/texi.make.orig	2020-04-05 14:59:54 UTC
+++ Instance/Documentation/texi.make
@@ -92,7 +92,7 @@ $(GNUSTEP_INSTANCE).pdf: $(TEXI_FILES)
 # so after running it we try to move any from the subdirectory to
 # where they are expected.
 $(GNUSTEP_INSTANCE)/index.html: $(TEXI_FILES)
-	-$(GNUSTEP_TEXI2HTML) \
+	-$(GNUSTEP_TEXI2HTML) --output=$(OUTFILE) \
                 $(GNUSTEP_TEXI2HTML_FLAGS) $(ADDITIONAL_TEXI2HTML_FLAGS) \
 		$(GNUSTEP_INSTANCE).texi; \
                 if [ -f $(GNUSTEP_INSTANCE)/$(GNUSTEP_INSTANCE)_toc.html ]; \
