diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -288,6 +288,7 @@ web-manpages: $(WEB_MANPAGES) gsub(/<\/h1>/, "</h2>", line); \ gsub(/class="D1"/, "class=\"D1 lang-bash\"", line); \ gsub(/class="Bd Bd-indent"/, "class=\"Bd Bd-indent lang-bash\"", line); \ + gsub(/&#[xX]201[cCdD];/, "\\"", line); \ print line; \ } } \ ' > "$@" |
