diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-12-31 21:19:51 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-12-31 21:19:51 +0000 |
| commit | 36b06f4935cadb169fe48e9d25ec3880588daf6c (patch) | |
| tree | 867a489a48cbf5d7dfd7201241a0948c665fc6a9 /gcc/doc/gcc.texi | |
| parent | 72a64688ab463d4c89977ce87aeaf18ffa627871 (diff) | |
| download | gcc-36b06f4935cadb169fe48e9d25ec3880588daf6c.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@75274 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/gcc.texi')
| -rw-r--r-- | gcc/doc/gcc.texi | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/doc/gcc.texi b/gcc/doc/gcc.texi index 721150ac8a1..72f655732b3 100644 --- a/gcc/doc/gcc.texi +++ b/gcc/doc/gcc.texi @@ -54,12 +54,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. |