From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 09:40:31 +0000 (+0200)
Subject: Remove useless *.dirs* files
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~50
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8e0c1391d4ab8af9d8afd867ee5be52575a72e22;p=ocaml.git

Remove useless *.dirs* files
---

diff --git a/debian/ocaml-base-nox.dirs.in b/debian/ocaml-base-nox.dirs.in
deleted file mode 100644
index 5493f540..00000000
--- a/debian/ocaml-base-nox.dirs.in
+++ /dev/null
@@ -1,4 +0,0 @@
-usr/bin
-usr/share/man/man1
-@OCamlStdlibDir@
-@OCamlDllDir@
diff --git a/debian/ocaml-base.dirs.in b/debian/ocaml-base.dirs.in
deleted file mode 100644
index 042cb5d6..00000000
--- a/debian/ocaml-base.dirs.in
+++ /dev/null
@@ -1,3 +0,0 @@
-usr/share/doc/ocaml-base
-@OCamlDllDir@
-@OCamlStdlibDir@
diff --git a/debian/ocaml-native-compilers.dirs b/debian/ocaml-native-compilers.dirs
deleted file mode 100644
index 145ce2ad..00000000
--- a/debian/ocaml-native-compilers.dirs
+++ /dev/null
@@ -1,3 +0,0 @@
-usr/bin
-usr/share/man/man1
-usr/share/ocaml-findlib
diff --git a/debian/ocaml-nox.dirs.in b/debian/ocaml-nox.dirs.in
deleted file mode 100644
index d95b06ba..00000000
--- a/debian/ocaml-nox.dirs.in
+++ /dev/null
@@ -1,2 +0,0 @@
-usr/bin
-usr/share/doc/ocaml-nox
diff --git a/debian/ocaml-source.dirs.in b/debian/ocaml-source.dirs.in
deleted file mode 100644
index b601f22c..00000000
--- a/debian/ocaml-source.dirs.in
+++ /dev/null
@@ -1 +0,0 @@
-usr/src
diff --git a/debian/ocaml.dirs.in b/debian/ocaml.dirs.in
deleted file mode 100644
index cc516878..00000000
--- a/debian/ocaml.dirs.in
+++ /dev/null
@@ -1 +0,0 @@
-@OCamlStdlibDir@