From f7755b9f37eb9d65c40fcc34cdbd3d2825ca7d06 Mon Sep 17 00:00:00 2001
From: erg <devnull@localhost>
Date: Wed, 30 Mar 2011 14:54:24 +0000
Subject: [PATCH] Note that none is a synonym for plaintext

---
 doc/infosrc/html.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/infosrc/html.1 b/doc/infosrc/html.1
index 682a20d03..3f1cbdfa3 100644
--- a/doc/infosrc/html.1
+++ b/doc/infosrc/html.1
@@ -32,7 +32,7 @@ Although HTML labels are not, strictly speaking, a shape, they can be
 viewed as a generalization of the record shapes described above. 
 In particular, if a node has set its 
 <A HREF=attrs.html#k:shape><TT>shape</TT></A>
-attribute to <TT>plaintext</TT>, the HTML label will be the node's
+attribute to <TT>none</TT> or <TT>plaintext</TT>, the HTML label will be the node's
 shape. On the other hand, if the node has any other shape (except 
 <TT>point</TT>), the HTML label will be embedded within the node the
 same way an ordinary label would be.
-- 
2.40.0