From d046c4297a04b6eecadf01093382b72bb1b71032 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 28 Jun 2016 20:58:49 +0100 Subject: Replace jshint with eslint --- lib/document-to-html.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/document-to-html.js') 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]); -- cgit v1.2.3