From owner-freebsd-ports  Sun Nov 17 13:09:44 1996
Return-Path: owner-ports
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id NAA15133
          for ports-outgoing; Sun, 17 Nov 1996 13:09:44 -0800 (PST)
Received: from alpha.xerox.com (alpha.Xerox.COM [13.1.64.93])
          by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id NAA15127
          for <ports@freebsd.org>; Sun, 17 Nov 1996 13:09:39 -0800 (PST)
Received: from crevenia.parc.xerox.com ([13.2.116.11]) by alpha.xerox.com with SMTP id <17105(5)>; Sun, 17 Nov 1996 13:09:04 PST
Received: by crevenia.parc.xerox.com id <177557>; Sun, 17 Nov 1996 13:08:58 -0800
From: Bill Fenner <fenner@parc.xerox.com>
To: ports@freebsd.org
Subject: /usr/local/info or /usr/local/share/info?
Message-Id: <96Nov17.130858pst.177557@crevenia.parc.xerox.com>
Date: Sun, 17 Nov 1996 13:08:52 PST
Sender: owner-ports@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

Should ports install info files into /usr/local/info or /usr/local/share/info?
Seems like info files belong in share, since they're architecture-independent,
but most ports with info files (ok, I only checked one) appear to want to
use /usr/local/info .

  Bill