Update on-line info

diff --git a/doc/info/output.html b/doc/info/output.html
index dfe7023bd3afa3543cf8dc1f316c874a5db640d2..ffb10483102edf9fd695a9e1f624d583f53d4a12 100644 (file)
--- a/doc/info/output.html
+++ b/doc/info/output.html
@@ -537,3 +537,15 @@ mobile computing.
 <HR>
 </BODY>
 </HTML>
+
+<HR>
+<H2>Notes</H2>
+<OL TYPE="1">
+<LI>
+<A NAME=ID>In the formats: -Tcmap, -Tcmapx, -Tsvg, -Tvml, the output generates
+'id="node#"' properties for nodes, 'id="edge#"' properties for edges, and 'id="cluster#"' properties for clusters, with the '#' replaced by an internally assigned integer. These strings can be provided instead by an externally provided "id=xxx" attribute on the object.
+Normal "\N" "\E" "\G" substitutions are applied.
+Externally provided id values are not used internally, and it is the use's reponsibilty to ensure
+that they are sufficiently unique for their intended downstream use.
+Note, in particular, that "\E" is not a unique id for multiedges.
+</OL>