Clean more files
authorStephane Glondu <steph@glondu.net>
Tue, 8 Jul 2008 12:36:05 +0000 (14:36 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 8 Jul 2008 18:12:24 +0000 (20:12 +0200)
debian/clean

index e2d10dd03132c80c48159fc9cd26b7d4358c09f4..22a7a76588533c57ccdbd17899e7abbc42d791f6 100644 (file)
@@ -4,6 +4,8 @@ _log
 byterun/libcamlrun_shared.so
 camlp4/config/Makefile
 camlp4/config/Makefile.cnf
+config/config.debian.install.sh
+config/config.sh
 config/Makefile
 config/m.h
 config/s.h
@@ -11,3 +13,4 @@ debian/README.labltk
 driver/ocamlcomp.sh
 emacs/ocamltags
 myocamlbuild_config.ml
+tools/myocamlbuild_config.ml