diff options
| -rw-r--r-- | runtime/doc/help.txt | 1 | ||||
| -rw-r--r-- | runtime/doc/makehtml.awk | 6 |
2 files changed, 0 insertions, 7 deletions
diff --git a/runtime/doc/help.txt b/runtime/doc/help.txt index a81d32831b..b33fb50c06 100644 --- a/runtime/doc/help.txt +++ b/runtime/doc/help.txt @@ -96,7 +96,6 @@ General subjects ~ |howto.txt| how to do the most common editing tasks |tips.txt| various tips on using Vim |message.txt| (error) messages and explanations -|quotes.txt| remarks from users of Vim |develop.txt| development of Vim |debug.txt| debugging Vim itself |uganda.txt| Vim distribution conditions and what to do with your money diff --git a/runtime/doc/makehtml.awk b/runtime/doc/makehtml.awk index a1f77f5aba..216bb5fac1 100644 --- a/runtime/doc/makehtml.awk +++ b/runtime/doc/makehtml.awk @@ -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"; |