From owner-freebsd-bugs  Fri Aug 30 10:50:03 1996
Return-Path: owner-bugs
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id KAA08656
          for bugs-outgoing; Fri, 30 Aug 1996 10:50:03 -0700 (PDT)
Received: (from gnats@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id KAA08648;
          Fri, 30 Aug 1996 10:50:02 -0700 (PDT)
Date: Fri, 30 Aug 1996 10:50:02 -0700 (PDT)
Message-Id: <199608301750.KAA08648@freefall.freebsd.org>
To: freebsd-bugs
Cc: 
From: Tony Li <tli@jnx.com>
Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir
Reply-To: Tony Li <tli@jnx.com>
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: Tony Li <tli@jnx.com>
To: asami@freebsd.org
Cc: FreeBSD-gnats-submit@freefall.FreeBSD.org, tli@jnx.com
Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir
Date: Fri, 30 Aug 1996 10:43:34 -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? ;)
 
 Well, an AI system would be best. ;-)
 
 However, even the ability to automatically append an entry to the dir file
 would be a big win.  How you cons up the entry is another interesting
 problem.  I suggest you munge together the package name, the name of the
 info file, and pkg/COMMENT.
 
 Tony
 
 p.s. For brownie points, cons up the entry and then grep the dir file so
 you don't create duplicate entries.  For double brownie points, sort the
 index entries alphabetically.
 
 p.p.s. For infinite brownie points, convince rms that info was a mistake
 and that everything should be done with man pages.  ;-)