diff options
author | Michaƫl Zasso <targos@protonmail.com> | 2017-08-28 16:57:33 +0200 |
---|---|---|
committer | Myles Borins <mylesborins@google.com> | 2017-09-12 03:18:15 +0200 |
commit | bc250a1e3882517a241b318a38e55a9662e882e0 (patch) | |
tree | 1484770813fd7d8d9790dfabd2d4bdcc4d07f97c /tools | |
parent | feeff48d5c5d8e5e4ce2d7c2c2d4096d481afa71 (diff) | |
download | node-new-bc250a1e3882517a241b318a38e55a9662e882e0.tar.gz |
tools: fix linter error in html.js
PR-URL: https://github.com/nodejs/node/pull/15063
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Yuta Hiroto <hello@about-hiroppy.com>
Diffstat (limited to 'tools')
-rw-r--r-- | tools/doc/html.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index c55772aa05..3373750a8d 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -196,11 +196,9 @@ function replaceInText(text) { } function altDocs(filename) { - let html = ''; - if (!docCreated) { console.error(`Failed to add alternative version links to ${filename}`); - return html; + return ''; } function lte(v) { |