Update debian/clean

diff --git a/debian/clean b/debian/clean
index 22a7a76588533c57ccdbd17899e7abbc42d791f6..455063e3ff7fe50f4a45ca05fccb10fc32a46632 100644 (file)
--- a/debian/clean
+++ b/debian/clean
@@ -1,16 +1,8 @@
-_boot_log1
-_boot_log2
-_log
-byterun/libcamlrun_shared.so
-camlp4/config/Makefile
-camlp4/config/Makefile.cnf
+build/ocamlbuild_mixed_mode
 config/config.debian.install.sh
 config/config.sh
 config/Makefile
 config/m.h
 config/s.h
-debian/README.labltk
-driver/ocamlcomp.sh
-emacs/ocamltags
 myocamlbuild_config.ml
 tools/myocamlbuild_config.ml