From e8f76b35c068e2445a81bc582f7fe4d178a4dba7 Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Mon, 16 May 2016 19:36:38 +0200
Subject: [PATCH] Copy introduction.html over index.html for chm builds

---
 docs/Makefile | 2 ++
 docs/make.bat | 2 ++
 docs/make.sh  | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index ccfcee933..312b86630 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -88,6 +88,8 @@ htmlhelp:
 	$(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) $(BUILDDIR)/htmlhelp
 	# Copy handwritten index file to output, overwriting auto-generated one
 	@cp renderdoc.hhk $(BUILDDIR)/htmlhelp
+	# Copy introduction page over index.html
+	@cp $(BUILDDIR)/htmlhelp/introduction.html $(BUILDDIR)/htmlhelp/index.html
 	# Filter out the auto-generated TOC to remove anchor links and root index.html
 	@cat $(BUILDDIR)/htmlhelp/renderdoc.hhc | python remove_lines.py ".html#" | python remove_lines.py "\"index.html\"" > $(BUILDDIR)/htmlhelp/tmp
 	@mv $(BUILDDIR)/htmlhelp/tmp $(BUILDDIR)/htmlhelp/renderdoc.hhc
diff --git a/docs/make.bat b/docs/make.bat
index 1289fd591..7ae212894 100644
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -119,6 +119,8 @@ if "%1" == "htmlhelp" (
 	if errorlevel 1 exit /b 1
 	REM Copy handwritten index file to output, overwriting auto-generated one
 	copy renderdoc.hhk %BUILDDIR%\htmlhelp\
+	REM Copy introduction page over index.html
+	copy %BUILDDIR%\htmlhelp\introduction.html %BUILDDIR%\htmlhelp\index.html
 	REM Filter out the auto-generated TOC to remove anchor links and root index.html
 	type %BUILDDIR%\htmlhelp\renderdoc.hhc | python remove_lines.py ".html#" | python remove_lines.py "\"index.html\"" > %BUILDDIR%\htmlhelp\tmp
 	move %BUILDDIR%\htmlhelp\tmp %BUILDDIR%\htmlhelp\renderdoc.hhc
diff --git a/docs/make.sh b/docs/make.sh
index 551a924ab..839fdaa7b 100644
--- a/docs/make.sh
+++ b/docs/make.sh
@@ -106,6 +106,8 @@ if [ $1 == "htmlhelp" ]; then
 	if [ $? != 0 ]; then exit 1; fi
 	# Copy handwritten index file to output, overwriting auto-generated one
 	cp renderdoc.hhk $BUILDDIR/htmlhelp
+	# Copy introduction page over index.html
+	cp $BUILDDIR/htmlhelp/introduction.html $BUILDDIR/htmlhelp/index.html
 	# Filter out the auto-generated TOC to remove anchor links and root index.html
 	cat $BUILDDIR/htmlhelp/renderdoc.hhc | python remove_lines.py ".html#" | python remove_lines.py "\"index.html\"" > $BUILDDIR/htmlhelp/tmp
 	mv $BUILDDIR/htmlhelp/tmp $BUILDDIR/htmlhelp/renderdoc.hhc