Summary: | New port: www/gnuinfo | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Juergen Lock <nox> | ||||
Component: | Individual Port(s) | Assignee: | freebsd-ports (Nobody) <ports> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | ||||||
Priority: | Normal | ||||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Description
Juergen Lock
1999-10-13 23:20:00 UTC
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) State Changed From-To: open->closed New port committed, thanks! |