debian specific patch information for gnat-gps / 4.3-5

 gps.gpr |  118 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 118 insertions(+)

 cpp_module/src/cpp_parser.adb |    6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

 docs/gps.html            |    4 +--
 docs/gps_index.xml       |   53 +----------------------------------------------
 help/src/help_module.adb |    4 +--
 3 files changed, 6 insertions(+), 55 deletions(-)

 kernel/src_info/sn/snsrc/Makefile.in  |    2 +-
 kernel/src_info/sn/snsrc/configure.in |    1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

 docs/gps.texi      |   35 ++++++++++++++++++++++++-----------
 docs/gps_pg.texi   |   34 ++++++++++++++++++++++++----------
 docs/tutorial.texi |   33 ++++++++++++++++++++++++---------
 3 files changed, 72 insertions(+), 30 deletions(-)

 aunit/src/row_data.ads                |    2 ++
 codefix/src/codefix-formal_errors.ads |    2 ++
 common/src/file_utils.ads             |    1 +
 common/src/generic_list.ads           |    1 +
 common/src/generic_stack.ads          |    2 ++
 common/src/gui_utils.ads              |    1 +
 common/src/list_utils.ads             |    1 +
 common/src/string_hash.ads            |    1 +
 completion/src/completion.ads         |    2 ++
 gvd/gvd/gvd-generic_view.ads          |    2 ++
 kernel/src/gps-kernel.ads             |    3 +++
 views/src/generic_views.ads           |    1 +
 12 files changed, 19 insertions(+)

 docs/Makefile.in             |   43 +++++++++----------------------------------
 docs/gps-welcome-public.html |    2 +-
 docs/gps-welcome.html        |    2 +-
 docs/gps.texi                |    2 +-
 docs/tutorial.texi           |    3 ++-
 kernel/src/welcome_page.adb  |    2 +-
 6 files changed, 15 insertions(+), 39 deletions(-)

 docs/Makefile.in |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 kernel/src_info/projects-editor.adb   |   12 ++++----
 kernel/src_info/projects-registry.adb |   49 +++++++++++++++++++++++++++++++---
 widgets/src/switches_chooser.ads      |    2 -
 3 files changed, 53 insertions(+), 10 deletions(-)

 code_analysis/src/code_analysis_tree_model.adb |   16 ++++++++++------
 kernel/src/gps-location_view.adb               |    8 ++++----
 kernel/src/task_manager-gui.adb                |    4 ++--
 prj_editor/src/outline_view.adb                |    6 +++---
 prj_editor/src/project_explorers_common.adb    |   18 ++++++++++++------
 prj_editor/src/project_explorers_files.adb     |   16 ++++++++--------
 vcs/src/vcs_view.adb                           |    6 +++---
 views/src/bookmark_views.adb                   |    4 ++--
 views/src/buffer_views.adb                     |    4 ++--
 views/src/clipboard_views.adb                  |    4 ++--
 widgets/src/directory_tree.adb                 |   18 +++++++++---------
 widgets/src/gtkada-file_selector.adb           |    2 +-
 12 files changed, 58 insertions(+), 48 deletions(-)

 docs/tutorial.texi                 |    4 +-
 widgets/src/gtkada-color_combo.adb |   63 +++++++++++++++++++++++++------------
 widgets/src/gtkada-color_combo.ads |   13 +++----
 3 files changed, 51 insertions(+), 29 deletions(-)

 gbuilder/src/utils.c |    8 --------
 1 file changed, 8 deletions(-)

 common/tty/terminals.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 kernel/src_info/sn/snsrc/db-2.7.7/dist/config.guess |    3 +++
 1 file changed, 3 insertions(+)