debian specific patch information for splint / 3.1.2.dfsg1-2

 Makefile.in            |    2 +-
 src/Makefile.in        |    8 ++++----
 test/Makefile.in       |    8 ++++++--
 test/tests2.2/Makefile |    3 +++
 test/tests2.4/Makefile |   10 ++--------
 test/tests2.5/Makefile |    3 +++
 6 files changed, 19 insertions(+), 15 deletions(-)

 doc/splint.1 |   56 ++++++++++++++++++++++++++------------------------------
 1 file changed, 26 insertions(+), 30 deletions(-)

 src/cpplib.c |   51 ++++++++++++++++++++++++++++++++++-----------------
 1 file changed, 34 insertions(+), 17 deletions(-)

 configure             |    2 +-
 src/Headers/version.h |    5 ++++-
 src/help.c            |    2 +-
 3 files changed, 6 insertions(+), 3 deletions(-)

 doc/bugs.html       |   10 ----------
 doc/changes.html    |   10 ----------
 doc/html/faq.html   |   12 +-----------
 doc/html/manual.css |    4 ++--
 doc/html/manual.htm |    2 +-
 5 files changed, 4 insertions(+), 34 deletions(-)