From ff18d3b82737cff850e8576d67025283d61e8cb7 Mon Sep 17 00:00:00 2001 From: "Justin M. Keyes" Date: Sat, 25 Aug 2018 15:24:47 +0200 Subject: [PATCH] build/doc: generate vimindex.html This note in runtime/doc/Makefile explains the special-case: index.html is the starting point for HTML, but for the help files it is help.txt. Therefore use vimindex.html for index.txt. fix #8907 --- runtime/doc/Makefile | 2 +- runtime/doc/makehtml.awk | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index dabbcd08d9..18d32c0820 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -13,7 +13,7 @@ HTMLS = $(DOCS:.txt=.html) .SUFFIXES: .c .o .txt .html # Awk version of .txt to .html conversion. -html: noerrors $(HTMLS) +html: noerrors vimindex.html $(HTMLS) @if test -f errors.log; then cat errors.log; fi noerrors: diff --git a/runtime/doc/makehtml.awk b/runtime/doc/makehtml.awk index 216bb5fac1..6e93c01c54 100644 --- a/runtime/doc/makehtml.awk +++ b/runtime/doc/makehtml.awk @@ -135,11 +135,11 @@ NR == 1 { nf=split(FILENAME,f,".") # common case - Latin1 print ""; } - print "Vim documentation: " f[1] ""; + print "Nvim documentation: " f[1] ""; print ""; print ""; - print "

Vim documentation: " f[1] "

"; + print "

Nvim documentation: " f[1] "

"; print ""; if ( FILENAME != "help.txt" ) { print "main help file\n";