diff options
Diffstat (limited to 'tools/doc/html.js')
| -rw-r--r-- | tools/doc/html.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index f2be43a38b..d65a4b323a 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -198,7 +198,10 @@ function preprocessElements({ filename }) { heading.children = [{ type: 'text', value: file.contents.slice( - position.start.offset, position.end.offset), + position.start.offset, position.end.offset) + .replace('<', '<') + .replace('>', '>') + .replace(/\\(.{1})/g, '$1'), position }]; } |