Document the parts of html labels that get processed as escStrings.

diff --git a/doc/info/shapes.html b/doc/info/shapes.html
index b0ee5c19a682c8110ee71e1960a58d849c4463fd..19145057b89a033dffb598f7b9065251a7e025cc 100644 (file)
--- a/doc/info/shapes.html
+++ b/doc/info/shapes.html
@@ -677,6 +677,9 @@ The maximum value is 65535.
 <B><I><FONT SIZE=-1>HREF="value"</FONT></I></B>
 <BLOCKQUOTE>
 attaches a URL to the object.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:URL>URL attribute</A>.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>POINT-SIZE="value"</FONT></I></B>
@@ -740,12 +743,18 @@ and <A HREF="command.html#d:SERVER_NAME">SERVER_NAME</A>.
 determines which window of the browser is used for the URL if the object 
 has one. 
 See <A HREF="http://www.w3.org/TR/html401/present/frames.html#adef-target">W3C documentation</A>.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:target>target attribute</A>.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>TITLE="value"</FONT></I></B>
 <BLOCKQUOTE>
 sets the tooltip annotation attached to the element. 
 This is used only if the element has a HREF attribute.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:tooltip>tooltip attribute</A>.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>TOOLTIP="value"</FONT></I></B>

diff --git a/doc/infosrc/html.2 b/doc/infosrc/html.2
index 9b9d8904161ac7b877f1822f840683d80d32c1f8..1132b12defb1fe8d738c54dc6e00f79faf835999 100644 (file)
--- a/doc/infosrc/html.2
+++ b/doc/infosrc/html.2
@@ -234,6 +234,9 @@ The maximum value is 65535.
 <B><I><FONT SIZE=-1>HREF="value"</FONT></I></B>
 <BLOCKQUOTE>
 attaches a URL to the object.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:URL>URL</A> attribute.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>POINT-SIZE="value"</FONT></I></B>
@@ -297,12 +300,18 @@ and <A HREF="command.html#d:SERVER_NAME">SERVER_NAME</A>.
 determines which window of the browser is used for the URL if the object 
 has one. 
 See <A HREF="http://www.w3.org/TR/html401/present/frames.html#adef-target">W3C documentation</A>.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:target>target</A> attribute.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>TITLE="value"</FONT></I></B>
 <BLOCKQUOTE>
 sets the tooltip annotation attached to the element. 
 This is used only if the element has a HREF attribute.
+Note that the <TT>"value"</TT> is treated as an
+<A HREF=attrs.html#k:escString>escString</A> similarly to the
+<A HREF=attrs.html#d:tooltip>tooltip</A> attribute.
 </BLOCKQUOTE>
 
 <B><I><FONT SIZE=-1>TOOLTIP="value"</FONT></I></B>