diff options
-rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
-rw-r--r-- | gdb/doc/stabs.texinfo | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 1438e7f..4b53092 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2015-07-16 Doug Evans <dje@google.com> + + * stabs.texinfo: @include gdb-cfg.texi. + 2015-07-15 Jan Kratochvil <jan.kratochvil@redhat.com> Revert the previous 2 commits: diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo index 15c4152..c4ea037 100644 --- a/gdb/doc/stabs.texinfo +++ b/gdb/doc/stabs.texinfo @@ -3,6 +3,10 @@ @setchapternewpage odd @settitle STABS +@c man begin INCLUDE +@include gdb-cfg.texi +@c man end + @c @finalout @c This is a dir.info fragment to support semi-automated addition of |