Remove useless *.dirs* files
authorStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 09:40:31 +0000 (11:40 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 10:45:10 +0000 (12:45 +0200)
debian/ocaml-base-nox.dirs.in [deleted file]
debian/ocaml-base.dirs.in [deleted file]
debian/ocaml-native-compilers.dirs [deleted file]
debian/ocaml-nox.dirs.in [deleted file]
debian/ocaml-source.dirs.in [deleted file]
debian/ocaml.dirs.in [deleted file]

diff --git a/debian/ocaml-base-nox.dirs.in b/debian/ocaml-base-nox.dirs.in
deleted file mode 100644 (file)
index 5493f54..0000000
+++ /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 (file)
index 042cb5d..0000000
+++ /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 (file)
index 145ce2a..0000000
+++ /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 (file)
index d95b06b..0000000
+++ /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 (file)
index b601f22..0000000
+++ /dev/null
@@ -1 +0,0 @@
-usr/src
diff --git a/debian/ocaml.dirs.in b/debian/ocaml.dirs.in
deleted file mode 100644 (file)
index cc51687..0000000
+++ /dev/null
@@ -1 +0,0 @@
-@OCamlStdlibDir@