debian specific patch information for asis / 2010-5

 asis/a4g-contt.adb                  |    2 +-
 asis/a4g-gnat_int.adb               |    2 +-
 tools/tool_utils/asis_ul-common.adb |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

 documentation/Makefile            |   35 ++++-------------------
 documentation/asis_rm.texi        |   51 ++++++++++++++++------------------
 documentation/asis_ug.texi        |   52 ++++++++++++++++-------------------
 documentation/edition.texi        |    2 -
 documentation/version.texi        |    2 -
 tools/gnatcheck/gnatcheck_rm.texi |   56 +++++++++++++++++---------------------
 6 files changed, 85 insertions(+), 113 deletions(-)

 asis/a4g-a_sem.adb |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 asis/asis-extensions.adb |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)