Update arrow info in attrs.html

diff --git a/doc/info/attrs.html b/doc/info/attrs.html
index 5ec9771b63849807f3440b3e858155527f5ce8de..2d10f29edf06b138752e4fd1e792bdc7bb6f3e69 100644 (file)
--- a/doc/info/attrs.html
+++ b/doc/info/attrs.html
@@ -2029,13 +2029,15 @@ enclosed in the parentheses,  <TT>(...)+</TT> indicates 1 or more, and
     <TR><TD>"open"<TD><IMG SRC="a_open.gif">
         <TD>"halfopen"<TD><IMG SRC="a_halfopen.gif"></TR>
     <TR><TD>"vee"<TD><IMG SRC="a_open.gif">
+        <TD>"circle"<TD><IMG SRC="a_circle.gif"></TR>
   </TABLE>
   <P>
   These are the basic set of backward-compatible arrow shapes. In addition,
   there is a grammar of <A HREF=arrows.html>arrow shapes</A>
-  which can be used to describe a collection of 1,544,761 arrow combinations of the 36 varations of the primitive set of 9 arrows. The basic arrows shown
+  which can be used to describe a collection of 2,313,441 arrow combinations of the 
+  39 varations of the primitive set of 10 arrows. The basic arrows shown
   above contain all of the primitive shapes
-  (<TT>box</TT>, <TT>crow</TT>, <TT>diamond</TT>,
+  (<TT>box</TT>, <TT>crow</TT>, <TT>circle</TT>, <TT>diamond</TT>,
   <TT>dot</TT>, <TT>inv</TT>, <TT>none</tt>,
   <TT>normal</tt>, <TT>tee</TT>, <TT>vee</TT>)
   plus ones that can be derived from the grammar

diff --git a/doc/infosrc/types b/doc/infosrc/types
index 76100670f417b4a86958799fdcdad773549a8272..fe0dc6b9eb55ea4bdb139fe1e7f67f7572123306 100644 (file)
--- a/doc/infosrc/types
+++ b/doc/infosrc/types
@@ -34,13 +34,15 @@ latter defaults to 5.
   <TR><TD>"open"<TD><IMG SRC="a_open.gif">
       <TD>"halfopen"<TD><IMG SRC="a_halfopen.gif"></TR>
   <TR><TD>"vee"<TD><IMG SRC="a_open.gif">
+      <TD>"circle"<TD><IMG SRC="a_circle.gif"></TR>
 </TABLE>
 <P>
 These are the basic set of backward-compatible arrow shapes. In addition,
 there is a grammar of <A HREF=arrows.html>arrow shapes</A>
-which can be used to describe a collection of 1,544,761 arrow combinations of the 36 varations of the primitive set of 9 arrows. The basic arrows shown
+which can be used to describe a collection of 2,313,441 arrow combinations of the 
+39 varations of the primitive set of 10 arrows. The basic arrows shown
 above contain all of the primitive shapes
-(<TT>box</TT>, <TT>crow</TT>, <TT>diamond</TT>,
+(<TT>box</TT>, <TT>crow</TT>, <TT>circle</TT>, <TT>diamond</TT>,
 <TT>dot</TT>, <TT>inv</TT>, <TT>none</tt>,
 <TT>normal</tt>, <TT>tee</TT>, <TT>vee</TT>)
 plus ones that can be derived from the grammar