From 22aaa6d9c5f75178de75b1f582cc65afef40970a Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Mon, 26 Sep 2011 12:25:31 -0400
Subject: [PATCH] Document that a public bookmark having the same name as the
 table is not executed

---
 Documentation.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation.html b/Documentation.html
index 1217c2d6b..dd5c999e6 100644
--- a/Documentation.html
+++ b/Documentation.html
@@ -4191,7 +4191,7 @@ INSERT INTO REL_towns VALUES ('M', 'Montr&eacute;al');
     <a href="#faq6_22">6.22 Bookmarks: Can I execute a default bookmark
     automatically when entering Browse mode for a table?</a></h4>
 
-<p> Yes. If a bookmark has the same label as a table name, it will be executed.
+<p> Yes. If a bookmark has the same label as a table name and it's not a public bookmark, it will be executed.
 </p>
 
 <h4 id="faq6_23">