From owner-freebsd-bugs  Fri Aug 30 02:30:06 1996
Return-Path: owner-bugs
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id CAA28395
          for bugs-outgoing; Fri, 30 Aug 1996 02:30:06 -0700 (PDT)
Received: (from gnats@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id CAA28383;
          Fri, 30 Aug 1996 02:30:03 -0700 (PDT)
Date: Fri, 30 Aug 1996 02:30:03 -0700 (PDT)
Message-Id: <199608300930.CAA28383@freefall.freebsd.org>
To: freebsd-bugs
Cc: 
From: asami@freebsd.org (Satoshi Asami)
Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir
Reply-To: asami@freebsd.org (Satoshi Asami)
Sender: owner-bugs@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

The following reply was made to PR ports/1550; it has been noted by GNATS.

From: asami@freebsd.org (Satoshi Asami)
To: FreeBSD-gnats-submit@freefall.FreeBSD.org, tli@jnx.com
Cc:  Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir
Date: Fri, 30 Aug 1996 02:25:16 -0700 (PDT)

  * 	If a port installs info-style documentation in /usr/local/info, it
  * 	should update /usr/local/info/dir so that there's an index to it.
 
 I agree.  But how? ;)
 
 This has been discussed before, and no solution came up.  The closest
 (I think) was the idea to write a utility to add to and delete entries
 from dir safely.  Something that takes arguments like "section name",
 "info file name" and "comment".  (And it created the section if it
 doesn't exist, etc....)
 
 Satoshi