1@c GDB MANUAL configuration file.  
2@c
3@c Copyright (C) 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 GDBTUI program.
35@set GDBTUI gdbtui
36@c 
37@c Name of GDB product.  Used in running text.
38@set GDBN @sc{gdb}
39@c
40@c Name of host.  Should not be used in generic configs, but generic
41@c value may catch some flubs.
42@set HOST machine specific
43@c
44@c Name of GCC product
45@set NGCC @sc{gcc}
46@c 
47@c Name of GCC program
48@set GCC gcc
49