Fix a couple of missed updates concerning the xdot format

diff --git a/doc/info/output.html b/doc/info/output.html
index 3542a5143dac2dc5c3ef888742338fefb6f34e29..ad0977cee68e31adc4950e2497e7a739d5728bb7 100644 (file)
--- a/doc/info/output.html
+++ b/doc/info/output.html
@@ -132,7 +132,7 @@ formats need to be interpreted in this manner.
   </TABLE>
   <P>
   The value of these attributes consists of the concatenation of some
-  (multi-)set of the following 7 rendering operations.
+  (multi-)set of the following 12 rendering or attribute operations.
   <SPACER TYPE=VERTICAL size=10>
   <TABLE border bgcolor=beige>
   <TR><TD>E x<sub>0</sub> y<sub>0</sub> w h