From owner-freebsd-ports  Fri Jun 13 12:20:07 1997
Return-Path: <owner-ports>
Received: (from root@localhost)
          by hub.freebsd.org (8.8.5/8.8.5) id MAA14746
          for ports-outgoing; Fri, 13 Jun 1997 12:20:07 -0700 (PDT)
Received: from bourbon.sfc.wide.ad.jp (bourbon.sfc.wide.ad.jp [203.178.139.171])
          by hub.freebsd.org (8.8.5/8.8.5) with ESMTP id MAA14719
          for <ports@freebsd.org>; Fri, 13 Jun 1997 12:20:01 -0700 (PDT)
Received: from bourbon.sfc.wide.ad.jp (localhost [127.0.0.1]) by bourbon.sfc.wide.ad.jp (8.8.5/3.5Wpl104/21/97) with ESMTP id EAA22286; Sat, 14 Jun 1997 04:18:24 +0900 (JST)
Message-Id: <199706131918.EAA22286@bourbon.sfc.wide.ad.jp>
To: fenner@parc.xerox.com
Cc: max@wide.ad.jp, ports@freebsd.org
Subject: Re: cvs commit: ports/devel/gmake/patches patch-aa 
From: Masafumi NAKANE/=?ISO-2022-JP?B?GyRCQ2Y6LDJtSjgbKEI=?= <max@wide.ad.jp>
In-Reply-To: Your message of "Fri, 13 Jun 1997 11:38:09 PDT"
References: <97Jun13.113817pdt.177489@crevenia.parc.xerox.com>
X-Mailer: Mew version 1.54 on Emacs 19.28.1, Mule 2.3
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Sat, 14 Jun 1997 04:18:24 +0900
Sender: owner-ports@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

     > It would be nice to gzip info files, since apparently info
     > readers can auto-gunzip (see /usr/share/info), but I don't know
     > if install-info can handle gzip'd info files.

Actually, this idea cross my mind after I wrote the other message. :)

I tested install-info with gzip'd info file and it didn't/couldn't
handle it.  So, what we should do, if we are going to add this into
bsd.port.mk, is to gzip the files after install-info.  (And maybe we
should introduce new variable NOINFOCOMPRESS like NOMANCOMPRESS.)

     Cheers,
Max