From 81caf348bb1987661e2c3297019e5a42facff175 Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Thu, 20 Apr 2017 17:46:03 +0300
Subject: [PATCH] IDEA-171524 Requesting help from the menu or pressing F1 -->
 nonexistent web page

---
 .../src/com/intellij/help/impl/HelpManagerImpl.java           | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java b/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
index ec779a59d5cc..f41c09f135eb 100644
--- a/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
+++ b/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
@@ -73,8 +73,8 @@ public class HelpManagerImpl extends HelpManager {
       }
       String productVersion = info.getMajorVersion() + "." + minorVersion;
 
-      String url = info.getWebHelpUrl() + "/" + productVersion + "/?" + id;
-      
+      String url = (info.getWebHelpUrl() + "/" + productVersion + "/?" + id).replaceAll("//", "/");
+
       if (PlatformUtils.isJetBrainsProduct()) {
         String productCode = info.getBuild().getProductCode();
         if(!StringUtil.isEmpty(productCode)) {