diff options
| author | John Gilmore <gnu@cygnus> | 1992-02-19 23:59:37 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1992-02-19 23:59:37 +0000 |
| commit | bccfae1670df5f110b19c269fb156f1b244ebb80 (patch) | |
| tree | e1b0d8266b406c56a4c679d090274d3e7ad6d7fc | |
| parent | 442b8598adda68fd2debf06674e4d165cbf51c4b (diff) | |
| download | gdb-bccfae1670df5f110b19c269fb156f1b244ebb80.zip gdb-bccfae1670df5f110b19c269fb156f1b244ebb80.tar.gz gdb-bccfae1670df5f110b19c269fb156f1b244ebb80.tar.bz2 | |
Mention the "dir" commands in the .gdbinit file, too.
| -rw-r--r-- | configure.texi | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/configure.texi b/configure.texi index e2cd436..b3065e7 100644 --- a/configure.texi +++ b/configure.texi @@ -142,13 +142,14 @@ corresponding makefile variables are set accordingly. If host, target, or site specific makefile fragments exist, these are inserted into the output file. (See @ref{Makefiles, , , make, Makefiles}.) -@item Generate @file{.gdbinit} -If the source directory contains a @file{.gdbinit} file and the build -directory is not the same as the source directory, a @file{.gdbinit} -file is created in the build directory. This @file{.gdbinit} file -contains just a @code{source} command, which will cause the @file{.gdbinit} -file from the source directory to be read by GDB. (see -@ref{Command Files, , , gdb, Command Files}.) +@item Generate @file{.gdbinit} If the source directory contains a +@file{.gdbinit} file and the build directory is not the same as the +source directory, a @file{.gdbinit} file is created in the build +directory. This @file{.gdbinit} file contains @code{dir} commands and +a @code{source} command, which will cause the @file{.gdbinit} file from +the source directory to be read by GDB, and will allow GDB to find +source files in either the source directory or the build directory. +(see @ref{Command Files, , , gdb, Command Files}.) @item Make symbolic links Most directories have some symbolic links with generic names built |