diff --git a/repos/ports/ports/gcc.mk b/repos/ports/ports/gcc.mk
index a0299773a..4af272e18 100644
--- a/repos/ports/ports/gcc.mk
+++ b/repos/ports/ports/gcc.mk
@@ -59,7 +59,6 @@ $(CONTRIB_DIR)/$(GCC)/configure:: $(CONTRIB_DIR)/$(GCC)
 	@# Noux-specific changes
 	@#
 	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(GCC) -N -p1 < src/noux-pkg/gcc/build.patch
-	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(GCC) -N -p1 < src/noux-pkg/gcc/build_with_makeinfo_5.patch
 
 clean-gcc:
 	$(VERBOSE)rm -rf $(CONTRIB_DIR)/$(GCC)
diff --git a/repos/ports/src/noux-pkg/gcc/build_with_makeinfo_5.patch b/tool/patches/gcc-4.7.2/makeinfo5.patch
similarity index 100%
rename from repos/ports/src/noux-pkg/gcc/build_with_makeinfo_5.patch
rename to tool/patches/gcc-4.7.2/makeinfo5.patch
diff --git a/tool/patches/gcc-4.7.2/series b/tool/patches/gcc-4.7.2/series
index 619a0a2f2..d31f80f7a 100644
--- a/tool/patches/gcc-4.7.2/series
+++ b/tool/patches/gcc-4.7.2/series
@@ -8,3 +8,4 @@ cpp_for_target.patch
 no_short_enums.patch
 host_target_combination.patch
 pic_cxxflags.patch
+makeinfo5.patch