[gnome-build-meta/abderrahim/fail-on-overlap: 144/144] core-deps/{mpc, mpfr, parted}: remove /usr/share/info/dir

[Abderrahim Kitouni <akitouni src gnome org>]

commit e19de54c9d01114f9d78d07c4eb3f3dd52861b16
Author: Abderrahim Kitouni <akitouni gnome org>
Date:   Thu Oct 18 19:50:21 2018 +0100

    core-deps/{mpc,mpfr,parted}: remove /usr/share/info/dir
    
    it causes overlap, and isn't needed as it will be regenerated by an integration command

 elements/core-deps/mpc.bst    | 4 ++++
 elements/core-deps/mpfr.bst   | 4 ++++
 elements/core-deps/parted.bst | 4 ++++
 3 files changed, 12 insertions(+)
---
diff --git a/elements/core-deps/mpc.bst b/elements/core-deps/mpc.bst
index ccdfd35..7dd8874 100644
--- a/elements/core-deps/mpc.bst
+++ b/elements/core-deps/mpc.bst
@@ -9,3 +9,7 @@ depends:
   type: build
 - filename: base-platform.bst
   junction: freedesktop-sdk.bst
+config:
+  install-commands:
+    (>):
+    - rm "%{install-root}%{infodir}/dir"
diff --git a/elements/core-deps/mpfr.bst b/elements/core-deps/mpfr.bst
index 205ef12..4f872b6 100644
--- a/elements/core-deps/mpfr.bst
+++ b/elements/core-deps/mpfr.bst
@@ -8,3 +8,7 @@ depends:
   type: build
 - filename: base-platform.bst
   junction: freedesktop-sdk.bst
+config:
+  install-commands:
+    (>):
+    - rm "%{install-root}%{infodir}/dir"
diff --git a/elements/core-deps/parted.bst b/elements/core-deps/parted.bst
index 501b318..3c083a9 100644
--- a/elements/core-deps/parted.bst
+++ b/elements/core-deps/parted.bst
@@ -11,3 +11,7 @@ depends:
   junction: freedesktop-sdk.bst
 variables:
   conf-aux: build-aux
+config:
+  install-commands:
+    (>):
+    - rm "%{install-root}%{infodir}/dir"