From: Stephane Glondu <steph@glondu.net>
Date: Sat, 29 Nov 2008 12:54:53 +0000 (+0100)
Subject: Update debian/clean
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~449^2~23
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7e17e1732f6698254c3c6c3af15c2e351322c507;p=ocaml.git

Update debian/clean
---

diff --git a/debian/clean b/debian/clean
index 22a7a765..455063e3 100644
--- 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