From 5fbd9b3a6e2f00d6fac9f84df7f591880c98711b Mon Sep 17 00:00:00 2001
From: Caius Durling <dev@caius.name>
Date: Sat, 2 Apr 2011 10:29:19 +0100
Subject: [PATCH] gnu-time: specify info folder

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
---
 Formula/gnu-time.rb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Formula/gnu-time.rb b/Formula/gnu-time.rb
index 125fc8a88d..91b49a07ae 100644
--- a/Formula/gnu-time.rb
+++ b/Formula/gnu-time.rb
@@ -8,7 +8,8 @@ class GnuTime < Formula
   def install
     system "./configure", "--program-prefix=g",
                           "--prefix=#{prefix}",
-                          "--mandir=#{man}"
+                          "--mandir=#{man}",
+                          "--info=#{info}"
     system "make install"
   end
 end