From d8a829662e709f7e6b68b2186684153fa45772e1 Mon Sep 17 00:00:00 2001
From: Joao Fernandes <joaofnfernandes@gmail.com>
Date: Fri, 23 Feb 2018 11:49:59 -0800
Subject: [PATCH] Make logs less noisy (#6062)

---
 js/docs.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/docs.js b/js/docs.js
index 6589ece2b3..336f2bedd5 100644
--- a/js/docs.js
+++ b/js/docs.js
@@ -56,11 +56,11 @@ function findMyTopic(tree)
       } else {
         if (branch[k].path == pageURL && !branch[k].nosync)
         {
-          console.log(branch[k].path + ' was == ' + pageURL)
+          // console.log(branch[k].path + ' was == ' + pageURL)
           thisIsIt = true;
           break;
         } else {
-          console.log(branch[k].path + ' was != ' + pageURL)
+          // console.log(branch[k].path + ' was != ' + pageURL)
         }
       }
     }