Makefile.in | 40 28 + 12 - 0 !
configure | 1 1 + 0 - 0 !
src/leon/Makefile.in | 8 8 + 0 - 0 !
src/leon/configure.ac | 1 1 + 0 - 0 !
4 files changed, 38 insertions(+), 12 deletions(-)

 debianization
 Meant to maintain a minimal debian/rules, to fix annoying
 warnings, to address Debian specific stuff in general.