diff options
| author | Doug Evans <dje@google.com> | 2015-07-20 09:21:51 -0700 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 2015-07-20 09:21:51 -0700 |
| commit | a3b5281eb93f986e9865a099c554156c40e4a686 (patch) | |
| tree | 7c4c79eb72fbbcfba736be4dd41b6f084672a0e4 /gdb/doc/Makefile.in | |
| parent | c20ceeb226168ffd84078ef74d890c2b7f69a435 (diff) | |
| download | gdb-a3b5281eb93f986e9865a099c554156c40e4a686.zip gdb-a3b5281eb93f986e9865a099c554156c40e4a686.tar.gz gdb-a3b5281eb93f986e9865a099c554156c40e4a686.tar.bz2 | |
Makefile.in (STABS_DOC_BUILD_INCLUDES): Add gdb-cfg.texi, GDBvn.texi.
gdb/doc/ChangeLog:
* Makefile.in (STABS_DOC_BUILD_INCLUDES): Add gdb-cfg.texi, GDBvn.texi.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index bd30a81..85ed95b 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -143,7 +143,9 @@ GDB_DOC_FILES = \ # Stabs manual: All files STABS_DOC_SOURCE_INCLUDES = \ $(srcdir)/fdl.texi -STABS_DOC_BUILD_INCLUDES = +STABS_DOC_BUILD_INCLUDES = \ + gdb-cfg.texi \ + GDBvn.texi STABS_DOC_FILES = \ $(srcdir)/stabs.texinfo \ $(STABS_DOC_SOURCE_INCLUDES) \ |