Update info files

diff --git a/doc/info/attrs.html b/doc/info/attrs.html
index fed5d21e4d6298b6b7e9fd8f3b4ec536d3d3c3bc..4b95cdf16cf6ca16d9d287a0a812d0b985b9579f 100644 (file)
--- a/doc/info/attrs.html
+++ b/doc/info/attrs.html
@@ -187,7 +187,7 @@ This field indicates which graph component uses the attribute.
  <TR><TD><A NAME=a:labelfontname HREF=#d:labelfontname>labelfontname</A>
 </TD><TD>E</TD><TD>string</TD><TD ALIGN="CENTER">"Times-Roman"</TD><TD></TD><TD></TD> </TR>
  <TR><TD><A NAME=a:labelfontsize HREF=#d:labelfontsize>labelfontsize</A>
-</TD><TD>E</TD><TD>double</TD><TD ALIGN="CENTER">11.0</TD><TD>1.0</TD><TD></TD> </TR>
+</TD><TD>E</TD><TD>double</TD><TD ALIGN="CENTER">14.0</TD><TD>1.0</TD><TD></TD> </TR>
  <TR><TD><A NAME=a:labeljust HREF=#d:labeljust>labeljust</A>
 </TD><TD>GC</TD><TD>string</TD><TD ALIGN="CENTER">"c"</TD><TD></TD><TD></TD> </TR>
  <TR><TD><A NAME=a:labelloc HREF=#d:labelloc>labelloc</A>