Date: Fri, 30 Aug 1996 02:30:03 -0700 (PDT) From: asami@freebsd.org (Satoshi Asami) To: freebsd-bugs Subject: Re: gnu/1550: "make install" needs to know how to update /usr/local/info/dir Message-ID: <199608300930.CAA28383@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: 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199608300930.CAA28383>