From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 11:18:29 +0000 (+0200)
Subject: Update debian/clean
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~45
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=05857a9716b22b332b90025339b44323586a4287;p=ocaml.git

Update debian/clean
---

diff --git a/debian/clean b/debian/clean
index e479f0b1..028c9dc8 100644
--- a/debian/clean
+++ b/debian/clean
@@ -8,3 +8,13 @@ myocamlbuild_config.ml
 tools/myocamlbuild_config.ml
 ocamlc
 ocamlcomp.sh
+debian/installed-files
+debian/ocaml-base-nox.install
+debian/ocaml-base.install
+debian/ocaml-compiler-libs.install
+debian/ocaml-interp.install
+debian/ocaml-man.install
+debian/ocaml-nox.install
+debian/ocaml.install
+install-stamp-arch
+install-stamp-indep