diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 110b608..754e8e5 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -142,6 +142,7 @@ GDB_DOC_FILES = \ $(srcdir)/gdb.texinfo \ $(srcdir)/guile.texi \ $(srcdir)/python.texi \ + $(srcdir)/poke.texi \ $(GDB_DOC_SOURCE_INCLUDES) \ $(GDB_DOC_BUILD_INCLUDES) |