2012-11-29  Yao Qi  <yao@codesourcery.com>
	PR gdb/1477.
	* gdb.texinfo (Print Settings): Correct the default 'demangle-style'
	to 'auto' instead of 'gnu'.
+2012-11-29  Yao Qi  <yao@codesourcery.com>
+
+       PR gdb/1477.
+       * gdb.texinfo (Print Settings): Correct the default 'demangle-style'
+       to 'auto' instead of 'gnu'.
+
 2012-11-26  Tom Tromey  <tromey@redhat.com>
 
        * gdb.texinfo (MiniDebugInfo): New node.
 
 @table @code
 @item auto
 Allow @value{GDBN} to choose a decoding style by inspecting your program.
+This is the default.
 
 @item gnu
 Decode based on the @sc{gnu} C@t{++} compiler (@code{g++}) encoding algorithm.
-This is the default.
 
 @item hp
 Decode based on the HP ANSI C@t{++} (@code{aCC}) encoding algorithm.