diff options
| author | Joseph Myers <jsm@polyomino.org.uk> | 2003-12-31 21:19:51 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2003-12-31 21:19:51 +0000 |
| commit | 8a670d95c720e85283858b09993fc7ae09e90010 (patch) | |
| tree | 867a489a48cbf5d7dfd7201241a0948c665fc6a9 /gcc/doc/gccint.texi | |
| parent | 9c5c5f2cd1c780f85df07731c7e5547acce198db (diff) | |
| download | gcc-8a670d95c720e85283858b09993fc7ae09e90010.zip gcc-8a670d95c720e85283858b09993fc7ae09e90010.tar.gz gcc-8a670d95c720e85283858b09993fc7ae09e90010.tar.bz2 | |
texinfo.tex: Update to version 2003-12-21.10.
* doc/include/texinfo.tex: Update to version 2003-12-21.10.
* doc/gcc.texi, doc/gccint.texi: Don't set font for
@def... commands.
* doc/invoke.texi: Don't use empty @opindex.
From-SVN: r75274
Diffstat (limited to 'gcc/doc/gccint.texi')
| -rw-r--r-- | gcc/doc/gccint.texi | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/doc/gccint.texi b/gcc/doc/gccint.texi index e69f67f..7ce5dde 100644 --- a/gcc/doc/gccint.texi +++ b/gcc/doc/gccint.texi @@ -40,12 +40,6 @@ @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 - @copying Copyright @copyright{} 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc. |