diff options
| author | Andrew Cagney <cagney@redhat.com> | 2002-09-27 17:56:37 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 2002-09-27 17:56:37 +0000 |
| commit | 050be0dcbe5e067af541c9478661e949af83a61e (patch) | |
| tree | f97a0ad2cead6167aaa0b497b1051faaeca8b646 /gdb/doc/all-cfg.texi | |
| parent | 502eccd936622b10cc9a818bce17ff98e38ed66c (diff) | |
| download | gdb-050be0dcbe5e067af541c9478661e949af83a61e.zip gdb-050be0dcbe5e067af541c9478661e949af83a61e.tar.gz gdb-050be0dcbe5e067af541c9478661e949af83a61e.tar.bz2 | |
Use @sc{gcc} and @sc{gdb}.
Diffstat (limited to 'gdb/doc/all-cfg.texi')
| -rw-r--r-- | gdb/doc/all-cfg.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gdb/doc/all-cfg.texi b/gdb/doc/all-cfg.texi index 6dee4e4..b680ea2 100644 --- a/gdb/doc/all-cfg.texi +++ b/gdb/doc/all-cfg.texi @@ -1,5 +1,6 @@ @c GDB MANUAL configuration file. -@c Copyright 1993, 1995, 1999 Free Software Foundation, Inc. +@c +@c Copyright 1993, 1995, 1999, 2002 Free Software Foundation, Inc. @c @c NOTE: While the GDB manual is configurable (by changing these @c switches), its configuration is ***NOT*** automatically tied in to @@ -31,15 +32,14 @@ @set GDBP gdb @c @c Name of GDB product. Used in running text. -@set GDBN GDB +@set GDBN @sc{gdb} @c @c Name of host. Should not be used in generic configs, but generic @c value may catch some flubs. @set HOST machine specific @c @c Name of GCC product -@set NGCC GCC +@set NGCC @sc{gcc} @c @c Name of GCC program @set GCC gcc - |