Update info files

diff --git a/doc/info/attrs.html b/doc/info/attrs.html
index 1b27641cb7461bce4bd8ff431b08eccf2249c6f7..d64bea141e97027125058f935ecb6eddb36271d1 100644 (file)
--- a/doc/info/attrs.html
+++ b/doc/info/attrs.html
@@ -152,6 +152,9 @@ This field indicates which graph component uses the attribute.
  <TR><TD><A NAME=a:fontcolor HREF=#d:fontcolor>fontcolor</A>
 </TD><TD>ENGC</TD><TD><A HREF=#k:color>color</A>
 </TD><TD ALIGN="CENTER">black</TD><TD></TD><TD></TD> </TR>
+ <TR><TD><A NAME=a:fontmangling HREF=#d:fontmangling>fontmangling</A>
+</TD><TD>G</TD><TD><A HREF=#k:bool>bool</A>
+</TD><TD ALIGN="CENTER">false</TD><TD></TD><TD></TD> </TR>
  <TR><TD><A NAME=a:fontname HREF=#d:fontname>fontname</A>
 </TD><TD>ENGC</TD><TD>string</TD><TD ALIGN="CENTER">"Times-Roman"</TD><TD></TD><TD></TD> </TR>
  <TR><TD><A NAME=a:fontpath HREF=#d:fontpath>fontpath</A>
@@ -633,6 +636,11 @@ This field indicates which graph component uses the attribute.
 <DT><A NAME=d:fontcolor HREF=#a:fontcolor><STRONG>fontcolor</STRONG></A>
 <DD>  Color used for text.
 
+<DT><A NAME=d:fontmangling HREF=#a:fontmangling><STRONG>fontmangling</STRONG></A>
+<DD>  If true, forces mangling of PostScript font names into
+  local system font names, which is not portable, but often 
+  compatible with local renderers and editors like Inkscape.
+
 <DT><A NAME=d:fontname HREF=#a:fontname><STRONG>fontname</STRONG></A>
 <DD>  Font used for text. This very much depends on the output format and, for 
   non-bitmap output such as PostScript or SVG, the availability of the font