1 @c GDB MANUAL configuration file.
2 @c Copyright 1993, 1995, 1999 Free Software Foundation, Inc.
4 @c NOTE: While the GDB manual is configurable (by changing these
5 @c switches), its configuration is ***NOT*** automatically tied in to
6 @c source configuration---because the authors expect that, save in
7 @c unusual cases, the most inclusive form of the manual is appropriate
8 @c no matter how the program itself is configured.
10 @c The only automatically-varying variable is the GDB version number,
11 @c which the Makefile rewrites based on the VERSION variable from
14 @c GDB version number is recorded in the variable GDBVN
17 @c ----------------------------------------------------------------------
21 @c HP PA-RISC target ONLY:
24 @c Refrain from discussing how to configure sw and format doc?
27 @c ----------------------------------------------------------------------
30 @c Name of GDB program. Used also for (gdb) prompt string.
33 @c Name of GDB product. Used in running text.
36 @c Name of host. Should not be used in generic configs, but generic
37 @c value may catch some flubs.
38 @set HOST machine specific
40 @c Name of GCC product
43 @c Name of GCC program