gcc.texi: Change the font used for @def...

	* doc/gcc.texi: Change the font used for @def... commands to a
	fixed width font.
	* doc/extend.texi: Use more logical markup.  Use "built-in"
	instead of "builtin".  Use @deftypefn to mark up built-in
	functions; specify their types in the @deftypefn and not in the
	descriptive text.  Use TeX quotes and dashes.  Add more index
	entries.

From-SVN: r43274

gcc/ChangeLog

+2001-06-12  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* doc/gcc.texi: Change the font used for @def... commands to a
+	fixed width font.
+	* doc/extend.texi: Use more logical markup.  Use "built-in"
+	instead of "builtin".  Use @deftypefn to mark up built-in
+	functions; specify their types in the @deftypefn and not in the
+	descriptive text.  Use TeX quotes and dashes.  Add more index
+	entries.
+
 2001-06-12  lars brinkhoff  <lars@nocrew.org>
 
 	* gcc.texi (HOST_BITS_PER_LONGLONG): Document.

gcc/doc/gcc.texi

@@ -103,6 +103,12 @@
 @c \global\normaloffset =0.75in
 @c @end tex
 
+@c Change the font used for @def... commands, since the default
+@c proportional one used is bad for names starting __.
+@tex
+\global\setfont\defbf\ttbshape{10}{\magstep1}
+@end tex
+
 @ifnottex
 @dircategory Programming
 @direntry