gcc.texi: Change the font used for @def...
authorJoseph Myers <jsm28@cam.ac.uk>
Tue, 12 Jun 2001 22:40:00 +0000 (23:40 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Tue, 12 Jun 2001 22:40:00 +0000 (23:40 +0100)
commit84330467cd5eb6f8994b74ded03a78942c11ca4e
treecf59c8d89d927b830d06c055327cd7bfa62dcd9b
parent30f69f71d874e39aea6d9114ecb048f285e704d5
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
gcc/doc/extend.texi
gcc/doc/gcc.texi