From 8a670d95c720e85283858b09993fc7ae09e90010 Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm@polyomino.org.uk>
Date: Wed, 31 Dec 2003 21:19:51 +0000
Subject: 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
---
 gcc/doc/gcc.texi | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'gcc/doc/gcc.texi')

diff --git a/gcc/doc/gcc.texi b/gcc/doc/gcc.texi
index 721150a..72f6557 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.
-- 
cgit v1.1