Date: Sun, 17 Oct 1999 15:30:02 -0700 (PDT) From: Juergen Lock <nox@jelal.kn-bremen.de> To: freebsd-ports@FreeBSD.org Subject: Re: ports/14311: new port: www/gnuinfo Message-ID: <199910172230.PAA44656@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/14311; it has been noted by GNATS.
From: Juergen Lock <nox@jelal.kn-bremen.de>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: Re: ports/14311: new port: www/gnuinfo
Date: Mon, 18 Oct 1999 00:20:13 +0200 (MET DST)
Here's a diff that adds back the other dirs to the gnuinfo.local
and gnuinfo.X11R6, this helps if a page there refers to one in one of
the other dirs. (like gcc 2.95.1's gcc.info refers to gdb.info...)
Index: files/gnuinfo.X11R6
@@ -1,3 +1,3 @@
#! /bin/sh
-export INFOPATH=/usr/X11R6/info
+export INFOPATH=/usr/X11R6/info:/usr/share/info:/usr/local/info
exec ${SCRIPT_FILENAME%/*}/gnuinfo
Index: files/gnuinfo.local
@@ -1,3 +1,3 @@
#! /bin/sh
-export INFOPATH=/usr/local/info
+export INFOPATH=/usr/local/info:/usr/share/info:/usr/X11R6/info
exec ${SCRIPT_FILENAME%/*}/gnuinfo
--
Juergen Lock <nox.foo@jelal.kn-bremen.de>
(remove dot foo from address to reply)
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199910172230.PAA44656>