diff options
| author | Doug Evans <xdje42@gmail.com> | 2014-02-17 10:35:03 -0800 |
|---|---|---|
| committer | Doug Evans <xdje42@gmail.com> | 2014-02-17 10:35:03 -0800 |
| commit | 329baa9572b85f84d2914d6d63818a142c46189d (patch) | |
| tree | bb01b99bf35daa2a3b6e412fd65f65095429ba60 /gdb/doc/Makefile.in | |
| parent | d25f38ee87b256b0ad5f4e7b6bd0ca0b4c0beab8 (diff) | |
| download | gdb-329baa9572b85f84d2914d6d63818a142c46189d.zip gdb-329baa9572b85f84d2914d6d63818a142c46189d.tar.gz gdb-329baa9572b85f84d2914d6d63818a142c46189d.tar.bz2 | |
Split python docs into separate file.
* Makefile.in (GDB_DOC_FILES): Add python.texi.
* gdb.texinfo (Python): Moved to ...
* python.texi: ... here. New file.
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 4375b20..c2360dd 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -131,6 +131,7 @@ GDB_DOC_BUILD_INCLUDES = \ GDB_DOC_FILES = \ $(srcdir)/gdb.texinfo \ $(srcdir)/guile.texi \ + $(srcdir)/python.texi \ $(GDB_DOC_SOURCE_INCLUDES) \ $(GDB_DOC_BUILD_INCLUDES) |