diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-05-26 21:20:45 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-05-26 21:20:45 +0200 |
| commit | 388a5d4f20b4b64341d1604aa238cab85827b892 (patch) | |
| tree | 9b6f90c08120369741136623a70307bb6da1b6a8 /runtime/doc/makehtml.awk | |
| parent | fcb0b61d15f66f0e9116a6bc56d9d8105bb913cf (diff) | |
Update runtime files
Diffstat (limited to 'runtime/doc/makehtml.awk')
| -rw-r--r-- | runtime/doc/makehtml.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/doc/makehtml.awk b/runtime/doc/makehtml.awk index 5e40069391..40154b063b 100644 --- a/runtime/doc/makehtml.awk +++ b/runtime/doc/makehtml.awk @@ -58,7 +58,7 @@ substr($0,length($0),1) == "~" { print "<B><FONT COLOR=\"PURPLE\">" substr($0,1, # #ad hoc code # -/^"\|\& / {gsub(/\|/,"\\|"); } +/^"\|& / {gsub(/\|/,"\\|"); } / = b / {gsub(/ b /," \\b "); } # # one letter tag |