1 @c GDB MANUAL configuration file.
3 @c Copyright (C) 1993, 1995, 1999, 2002, 2011-2012 Free Software
6 @c NOTE: While the GDB manual is configurable (by changing these
7 @c switches), its configuration is ***NOT*** automatically tied in to
8 @c source configuration---because the authors expect that, save in
9 @c unusual cases, the most inclusive form of the manual is appropriate
10 @c no matter how the program itself is configured.
12 @c The only automatically-varying variable is the GDB version number,
13 @c which the Makefile rewrites based on the VERSION variable from
16 @c GDB version number is recorded in the variable GDBVN
19 @c ----------------------------------------------------------------------
23 @c HP PA-RISC target ONLY:
26 @c Refrain from discussing how to configure sw and format doc?
29 @c ----------------------------------------------------------------------
32 @c Name of GDB program. Used also for (gdb) prompt string.
35 @c Name of GDB product. Used in running text.
38 @c Name of host. Should not be used in generic configs, but generic
39 @c value may catch some flubs.
40 @set HOST machine specific
42 @c Name of GCC product
45 @c Name of GCC program