From 4120679e2b511caaa08189a6ea43959c67bc506f Mon Sep 17 00:00:00 2001 From: ellson Date: Tue, 18 Oct 2005 21:09:57 +0000 Subject: [PATCH] Manually commit changed info files --- doc/info/attrs.html | 24 +++++++++--------------- doc/info/lang.html | 2 +- 2 files changed, 10 insertions(+), 16 deletions(-) diff --git a/doc/info/attrs.html b/doc/info/attrs.html index 65f099742..47461bd7e 100644 --- a/doc/info/attrs.html +++ b/doc/info/attrs.html @@ -1262,23 +1262,16 @@ the given types. "obox" "open" "halfopen" - "vee"

- These are the basic set of backward-compatible arrow shapes. - In addition, there is a grammar of arrow shapes - which can be used to describe a collection of 1260 arrows as - modifications of a primitive set of 9 shapes. The basic arrows shown - above contain all of the 9 primitive shapes - (box, crow, diamond, - dot, inv, none, - normal, tee, vee) - plus a few that can be derived from the grammar - (odot, invdot, invodot, - obox, odiamond) - plus some supported as special cases for backward-compatibility - (ediamond, open, halfopen, - empty, invempty). + These are the basic arrow shapes. In addition, there is a grammar + of arrow shapes + which can be used to describe a collection of 1200 arrow shapes as + modifications of a primitive set of 9 arrows. The basic arrows shown + above contain all of the primitive shapes (e.g., normal, + box, tee, etc.) + plus ones that can be derived from the grammar (e.g., ediamond, + inv).

clusterMode
"local","global","none" @@ -1519,6 +1512,7 @@ the given types. At present, the recognized style names comprise "dashed", "dotted", "solid", "invis" and "bold" for nodes and edges, and "filled", "diagonals" and "rounded" for nodes only. + The styles "filled" and "rounded" are recognized for clusters. Additional styles are available in device-dependent form. Style lists are passed to device drivers, which can use this to generate appropriate output. diff --git a/doc/info/lang.html b/doc/info/lang.html index 9761ea31c..438c2fa3e 100644 --- a/doc/info/lang.html +++ b/doc/info/lang.html @@ -184,7 +184,7 @@ For this, it needs to know what character encoding is used.

By default, DOT assumes the UTF-8 character encoding. It also accepts the Latin1 (ISO-8859-1) character set, assuming the input graph uses -the charset attribute to +the charset attribute to specify this. For graphs using other character sets, there are usually programs, such as iconv, which will translate from one character set to another. -- 2.50.1