diff options
Diffstat (limited to 'runtime/doc/makehtml.awk')
| -rw-r--r-- | runtime/doc/makehtml.awk | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/runtime/doc/makehtml.awk b/runtime/doc/makehtml.awk index a1f77f5aba..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 "<META HTTP-EQUIV=\"Content-type\" content=\"text/html; charset=ISO-8859-1\">"; } - print "<TITLE>Vim documentation: " f[1] "</TITLE>"; + print "<TITLE>Nvim documentation: " f[1] "</TITLE>"; print "</HEAD>"; print "<BODY BGCOLOR=\"#ffffff\">"; - print "<H1>Vim documentation: " f[1] "</H1>"; + print "<H1>Nvim documentation: " f[1] "</H1>"; print "<A NAME=\"top\"></A>"; if ( FILENAME != "help.txt" ) { print "<A HREF=\"index.html\">main help file</A>\n"; @@ -185,12 +185,6 @@ FILENAME == "gui.txt" && asciiart == "no" \ asciicnt=0; } -FILENAME == "quotes.txt" && asciiart == "no" \ - && $0 ~ /In summary:/ { - asciiart= "yes"; - asciicnt=0; - } - FILENAME == "usr_20.txt" && asciiart == "no" \ && $0 ~ /an empty line at the end:/ { asciiart= "yes"; |