diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-06-28 20:58:49 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-06-28 20:58:49 +0100 |
| commit | d046c4297a04b6eecadf01093382b72bb1b71032 (patch) | |
| tree | d90fc8dde051f2dba93c41f77506f472269124ba /lib/document-to-html.js | |
| parent | f557dc7de5fd0dff3a08808e7c4d9736970e6349 (diff) | |
Replace jshint with eslint
Diffstat (limited to 'lib/document-to-html.js')
| -rw-r--r-- | lib/document-to-html.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/document-to-html.js b/lib/document-to-html.js index 740fc30..f2d5229 100644 --- a/lib/document-to-html.js +++ b/lib/document-to-html.js @@ -277,7 +277,7 @@ function DocumentConversion(options) { var children = convertElements(element.body, messages); var backLink = Html.elementWithTag(htmlPaths.element("p", {}, {fresh: false}), [ Html.text(" "), - Html.freshElement("a", {href: "#" + noteRefHtmlId(element)}, [Html.text("↑")]), + Html.freshElement("a", {href: "#" + noteRefHtmlId(element)}, [Html.text("↑")]) ]); var body = children.concat([backLink]); |