From owner-freebsd-ports  Mon Feb 26 16:16:25 1996
Return-Path: owner-ports
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.3/8.7.3) id QAA00186
          for ports-outgoing; Mon, 26 Feb 1996 16:16:25 -0800 (PST)
Received: from silvia.HIP.Berkeley.EDU (silvia.HIP.Berkeley.EDU [136.152.64.181])
          by freefall.freebsd.org (8.7.3/8.7.3) with ESMTP id QAA00180
          for <freebsd-ports@freebsd.org>; Mon, 26 Feb 1996 16:16:23 -0800 (PST)
Received: (from asami@localhost) by silvia.HIP.Berkeley.EDU (8.7.4/8.6.9) id QAA13637; Mon, 26 Feb 1996 16:16:01 -0800 (PST)
Date: Mon, 26 Feb 1996 16:16:01 -0800 (PST)
Message-Id: <199602270016.QAA13637@silvia.HIP.Berkeley.EDU>
To: adam@veda.is
CC: freebsd-ports@freebsd.org
In-reply-to: <199602211215.MAA03303@veda.is> (adam@veda.is)
Subject: Re: doc directory
From: asami@cs.berkeley.edu (Satoshi Asami)
Sender: owner-ports@freebsd.org
Precedence: bulk

 * I looked in etc/mtree/BSD.local.dist and noticed there is no directory
 * specified for docfiles, yet there are a number of ports that have extra
 * documentation in various formats other than info or man. These docfiles
 * tend to be found scattered among various subdirectories of /usr/local.
 * 
 * I propose that either /usr/local/doc or /usr/local/share/doc be created
 * as a suitable location for such files. Which one should it be?

I think this is a good idea.  I'd like to see share/doc, as /usr/local 
is already pretty crowded as it is.

Satoshi