From 672fbab223c0afd324e5046777e42f4789a72e95 Mon Sep 17 00:00:00 2001
From: "Kirill.Safonov" <kirill.safonov@jetbrains.com>
Date: Fri, 17 Jun 2011 15:45:50 +0400
Subject: [PATCH] update tip

---
 resources-en/src/tips/ExternalJavaDoc.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources-en/src/tips/ExternalJavaDoc.html b/resources-en/src/tips/ExternalJavaDoc.html
index 1d279f9d736e..d625edf0eefd 100644
--- a/resources-en/src/tips/ExternalJavaDoc.html
+++ b/resources-en/src/tips/ExternalJavaDoc.html
@@ -4,7 +4,7 @@
   <tr>
     <td>To open your browser with Javadoc for the class or method used at the editor's caret,
       press &shortcut:ExternalJavaDoc;
-      (<font  style="font-family: Verdana; font-weight:bold;" size="3" color="#005555">View | External JavaDoc</font>).<br><br>
+      (<font  style="font-family: Verdana; font-weight:bold;" size="3" color="#005555">View | External Documentation</font>).<br><br>
       You must have the path to your browser set in the "General" options
       (<font  style="font-family: Verdana; font-weight:bold;" size="3" color="#005555">File | Settings</font>)
       and paths to Javadoc-generated files added to your project