From owner-freebsd-ports  Sun Nov 17 15:13:36 1996
Return-Path: owner-ports
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id PAA20386
          for ports-outgoing; Sun, 17 Nov 1996 15:13:36 -0800 (PST)
Received: from dfw-ix9.ix.netcom.com (dfw-ix9.ix.netcom.com [206.214.98.9])
          by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id PAA20376
          for <ports@freebsd.org>; Sun, 17 Nov 1996 15:13:15 -0800 (PST)
Received: from baloon.mimi.com (wck-ca14-53.ix.netcom.com [207.92.174.117]) by dfw-ix9.ix.netcom.com (8.6.13/8.6.12) with ESMTP id PAA11674; Sun, 17 Nov 1996 15:12:05 -0800
Received: (from asami@localhost) by silvia.HIP.Berkeley.EDU (8.8.2/8.6.9) id OAA23956; Sun, 17 Nov 1996 14:49:03 -0800 (PST)
Date: Sun, 17 Nov 1996 14:49:03 -0800 (PST)
Message-Id: <199611172249.OAA23956@silvia.HIP.Berkeley.EDU>
To: fenner@parc.xerox.com
CC: ports@freebsd.org
In-reply-to: <96Nov17.130858pst.177557@crevenia.parc.xerox.com> (message from Bill Fenner on Sun, 17 Nov 1996 13:08:52 PST)
Subject: Re: /usr/local/info or /usr/local/share/info?
From: asami@freebsd.org (Satoshi Asami)
Sender: owner-ports@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

 * but most ports with info files (ok, I only checked one) appear to want to
 * use /usr/local/info .

They should go into /usr/local/info.

And in case someone wants to discuss about this, don't.  We've talked
about this before, it never went anywhere and was a complete waste of
time (aka religious war).

Satoshi