From a860f20ceb4585a5975a1a755e2fb2bc51bc4a8b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C3=ABl=20Zasso?= <targos@protonmail.com>
Date: Mon, 28 Aug 2017 16:57:33 +0200
Subject: [PATCH] tools: fix linter error in html.js

---
 tools/doc/html.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/doc/html.js b/tools/doc/html.js
index c55772aa053cc9..3373750a8d299b 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) {