gnu-time: specify info folder

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-04-02 10:29:19 +01:00 · 2011-04-02 10:29:19 +01:00 · 5fbd9b3a6e
commit 5fbd9b3a6e
parent 62ca8ed378
1 changed files with 2 additions and 1 deletions
--- 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