From a32eb728359b665facc146839b641ecead283aae Mon Sep 17 00:00:00 2001
From: Mike McQuaid <mike@mikemcquaid.com>
Date: Mon, 2 Jan 2017 17:33:17 +0000
Subject: [PATCH] gcc: remove all info files.

Closes #8412.

Signed-off-by: Tomasz Pajor <tomek@polishgeeks.com>
---
 Formula/gcc.rb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Formula/gcc.rb b/Formula/gcc.rb
index 7e4b5ee8f5..e78b011f63 100644
--- a/Formula/gcc.rb
+++ b/Formula/gcc.rb
@@ -21,6 +21,7 @@ class Gcc < Formula
 
   desc "GNU compiler collection"
   homepage "https://gcc.gnu.org"
+  revision 1
 
   head "svn://gcc.gnu.org/svn/gcc/trunk"
 
@@ -189,6 +190,8 @@ class Gcc < Formula
     # with system compilers.
     # Rename man7.
     Dir.glob(man7/"*.7") { |file| add_suffix file, version_suffix }
+    # Even when we disable building info pages some are still installed.
+    info.rmtree
   end
 
   def add_suffix(file, suffix)