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

[Abderrahim Kitouni <akitouni src gnome org>]

commit e6910655fd5fe202f50cc54a381b1367a99e3ace
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 ccdfd359..7dd8874f 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 205ef127..4f872b67 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 52ae31a7..a64b3d63 100644
--- a/elements/core-deps/parted.bst
+++ b/elements/core-deps/parted.bst
@@ -13,3 +13,7 @@ depends:
   junction: freedesktop-sdk.bst
 variables:
   conf-aux: build-aux
+config:
+  install-commands:
+    (>):
+    - rm "%{install-root}%{infodir}/dir"