From 8e0c1391d4ab8af9d8afd867ee5be52575a72e22 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 11 Jul 2019 11:40:31 +0200 Subject: [PATCH] Remove useless *.dirs* files --- debian/ocaml-base-nox.dirs.in | 4 ---- debian/ocaml-base.dirs.in | 3 --- debian/ocaml-native-compilers.dirs | 3 --- debian/ocaml-nox.dirs.in | 2 -- debian/ocaml-source.dirs.in | 1 - debian/ocaml.dirs.in | 1 - 6 files changed, 14 deletions(-) delete mode 100644 debian/ocaml-base-nox.dirs.in delete mode 100644 debian/ocaml-base.dirs.in delete mode 100644 debian/ocaml-native-compilers.dirs delete mode 100644 debian/ocaml-nox.dirs.in delete mode 100644 debian/ocaml-source.dirs.in delete mode 100644 debian/ocaml.dirs.in 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@ -- 2.30.2