Doug Evans 329baa9572 Split python docs into separate file.
* Makefile.in (GDB_DOC_FILES): Add python.texi.
	* gdb.texinfo (Python): Moved to ...
	* python.texi: ... here.  New file.
2014-02-17 10:35:03 -08:00
..
2014-02-10 19:10:34 -08:00
2014-02-10 19:10:34 -08:00
2014-02-10 19:10:34 -08:00
2014-02-10 19:10:34 -08:00
2014-02-10 19:10:34 -08:00
2014-02-17 14:19:40 +01:00