gcc-arm-embedded-{13,14}: fix info file causing rebuild error

https://github.com/NixOS/nixpkgs/issues/363902

pkgs/by-name/gc/gcc-arm-embedded-13/info-fix.patch

@@ -0,0 +1,12 @@
+--- a/share/info/porting.info
++++ b/share/info/porting.info
+@@ -16,9 +16,7 @@ a permission notice identical to this one.
+ manual into another language, under the above conditions for modified
+ versions.
+ START-INFO-DIR-ENTRY
+-START-INFO-DIR-ENTRY
+ * Embed with GNU: (porting-).         Embed with GNU
+-END-INFO-DIR-ENTRY
+ END-INFO-DIR-ENTRY
+ 
+    Copyright (C) 1993, 1994, 1995 Cygnus Support

pkgs/by-name/gc/gcc-arm-embedded-13/package.nix

@@ -32,6 +32,12 @@ stdenv.mkDerivation rec {
       .${stdenv.hostPlatform.system} or (throw "Unsupported system: ${stdenv.hostPlatform.system}");
   };
 
+  patches = [
+    # fix double entry in share/info/porting.info
+    # https://github.com/NixOS/nixpkgs/issues/363902
+    ./info-fix.patch
+  ];
+
   dontConfigure = true;
   dontBuild = true;
   dontPatchELF = true;

pkgs/by-name/gc/gcc-arm-embedded-14/info-fix.patch

@@ -0,0 +1,12 @@
+--- a/share/info/porting.info
++++ b/share/info/porting.info
+@@ -16,9 +16,7 @@ a permission notice identical to this one.
+ manual into another language, under the above conditions for modified
+ versions.
+ START-INFO-DIR-ENTRY
+-START-INFO-DIR-ENTRY
+ * Embed with GNU: (porting-).         Embed with GNU
+-END-INFO-DIR-ENTRY
+ END-INFO-DIR-ENTRY
+ 
+    Copyright (C) 1993, 1994, 1995 Cygnus Support

pkgs/by-name/gc/gcc-arm-embedded-14/package.nix

@@ -34,6 +34,12 @@ stdenv.mkDerivation rec {
       .${stdenv.hostPlatform.system} or (throw "Unsupported system: ${stdenv.hostPlatform.system}");
   };
 
+  patches = [
+    # fix double entry in share/info/porting.info
+    # https://github.com/NixOS/nixpkgs/issues/363902
+    ./info-fix.patch
+  ];
+
   dontConfigure = true;
   dontBuild = true;
   dontPatchELF = true;