Date: Fri, 30 Aug 1996 10:50:02 -0700 (PDT) From: Tony Li <tli@jnx.com> To: freebsd-bugs Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir Message-ID: <199608301750.KAA08648@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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. ;-)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199608301750.KAA08648>