[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit eaf38300bc3165d726911f8d402d5eb1a567f547
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 12:36:30 2009 +0200

    More files to clean

diff --git a/debian/clean b/debian/clean
index 39e5054..0b0f4b1 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,9 +1,14 @@
 cil/ocamlutil/perfcount.c
 src/ltl_to_acsl/ltlparser.output
 src/ltl_to_acsl/promelaparser.output
+src/ltl_to_acsl/promelaparser_withexps.output
 config.log
 config.status
 config.sub
 config.guess
 .depend
 .make-clean
+Makefile
+share/Makefile.config
+share/Makefile.dynamic_config
+tests/wp/test_config_dev

-- 
frama-c packaging