From 05857a9716b22b332b90025339b44323586a4287 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 11 Jul 2019 13:18:29 +0200 Subject: [PATCH] Update debian/clean --- debian/clean | 10 ++++++++++ 1 file changed, 10 insertions(+) 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 -- 2.30.2