Update debian/clean
authorStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 11:18:29 +0000 (13:18 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 12:18:02 +0000 (14:18 +0200)
debian/clean

index e479f0b1b17d461c314484ec208a33c370e978ce..028c9dc8be43bcb9c709fa47364c706a4bab3ff2 100644 (file)
@@ -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