1@c GDB MANUAL configuration file.
2@c
3@c Copyright 1993, 1995, 1999, 2002 Free Software Foundation, Inc.
4@c
5@c NOTE: While the GDB manual is configurable (by changing these
6@c switches), its configuration is ***NOT*** automatically tied in to
7@c source configuration---because the authors expect that, save in
8@c unusual cases, the most inclusive form of the manual is appropriate
9@c no matter how the program itself is configured.
10@c
11@c The only automatically-varying variable is the GDB version number,
12@c which the Makefile rewrites based on the VERSION variable from
13@c `../Makefile.in'.
14@c
15@c GDB version number is recorded in the variable GDBVN
16@include GDBvn.texi
17@c
18@c ----------------------------------------------------------------------
19@c PLATFORM FLAGS:
20@set GENERIC
21@c
22@c HP PA-RISC target ONLY:
23@clear HPPA
24@c
25@c Refrain from discussing how to configure sw and format doc?
26@clear PRECONFIGURED
27@c
28@c ----------------------------------------------------------------------
29@c STRINGS:
30@c
31@c Name of GDB program.  Used also for (gdb) prompt string.
32@set GDBP gdb
33@c
34@c Name of GDB product.  Used in running text.
35@set GDBN @sc{gdb}
36@c
37@c Name of host.  Should not be used in generic configs, but generic
38@c value may catch some flubs.
39@set HOST machine specific
40@c
41@c Name of GCC product
42@set NGCC @sc{gcc}
43@c
44@c Name of GCC program
45@set GCC gcc
46