Date: Wed, 28 Aug 1996 13:23:44 -0700 (PDT) From: Tony Li <tli@jnx.com> To: FreeBSD-gnats-submit@freebsd.org Subject: gnu/1550: "make install" needs to know how to update /usr/local/info/dir Message-ID: <199608282023.NAA03739@chimp.jnx.com> Resent-Message-ID: <199608282030.NAA25855@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 1550 >Category: gnu >Synopsis: "make install" needs to know how to update /usr/local/info/dir >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-bugs >State: open >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Wed Aug 28 13:30:02 PDT 1996 >Last-Modified: >Originator: Tony Li >Organization: Juniper Networks, Inc. >Release: FreeBSD 2.2-CURRENT i386 >Environment: Gnu Emacs installed. >Description: 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. >How-To-Repeat: cd /usr/ports/gnu/id-utils make install >Fix: The workaround is to manually edit /usr/local/info/dir. >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199608282023.NAA03739>