diff options
| author | Joel Brobecker <brobecker@gnat.com> | 2003-03-18 17:44:23 +0000 |
|---|---|---|
| committer | Joel Brobecker <brobecker@gnat.com> | 2003-03-18 17:44:23 +0000 |
| commit | bcd7e15f07189331ac97875099d78409917ec8f4 (patch) | |
| tree | 0ecd031ee8b2a25f1af573207989f4f6cea60d5a /gdb/doc/Makefile.in | |
| parent | 79b8ff3ee06debd98c5da85121b49f124a7516e4 (diff) | |
| download | gdb-bcd7e15f07189331ac97875099d78409917ec8f4.zip gdb-bcd7e15f07189331ac97875099d78409917ec8f4.tar.gz gdb-bcd7e15f07189331ac97875099d78409917ec8f4.tar.bz2 | |
* gdbint.texinfo (Algorithms): Add new section describing the
Observer paradigm.
(Top): Add menu entry to new observer appendix.
* observer.texi: New file.
* Makefile.in (GDBINT_DOC_SOURCE_INCLUDES): Add dependency on
new observer.texi file.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 1d5ad3e..db74889 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -114,7 +114,8 @@ GDB_DOC_FILES = \ # Internals Manual GDBINT_DOC_SOURCE_INCLUDES = \ - $(srcdir)/fdl.texi + $(srcdir)/fdl.texi \ + $(srcdir)/observer.texi GDBINT_DOC_BUILD_INCLUDES = \ gdb-cfg.texi \ GDBvn.texi |