From bb176f4a7e6422cf3c66d2beee6ce984b7795f66 Mon Sep 17 00:00:00 2001
From: Stefan Hoffmann <stefan991@gmail.com>
Date: Sun, 21 Sep 2014 15:20:21 +0200
Subject: [PATCH] doc: fix links to index.html and vimindex.html

---
 runtime/doc/makehtml.awk | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/runtime/doc/makehtml.awk b/runtime/doc/makehtml.awk
index 5e40069391..a1f77f5aba 100644
--- a/runtime/doc/makehtml.awk
+++ b/runtime/doc/makehtml.awk
@@ -6,6 +6,13 @@ BEGIN   {
 	sample="no";
 	while ( getline ti <"tags.ref" > 0 ) {
 		nf=split(ti,tag,"	");
+		# as help.txt renders into index.html and index.txt -> vimindex.html,
+		# this hack is needed to get the links right to those pages.
+		if ( tag[2] == "index.txt" ) {
+			tag[2] = "vimindex.txt"
+		} else if ( tag[2]  == "help.txt" ) {
+			tag[2] = "index.txt"
+		}
 		tagkey[tag[1]]="yes";tagref[tag[1]]=tag[2];
 	}
 	skip_word["and"]="yes";