[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-gnubg] Re: building rpms
From: |
Jim Segrave |
Subject: |
[Bug-gnubg] Re: building rpms |
Date: |
Mon, 20 Oct 2003 21:43:51 +0200 |
User-agent: |
Mutt/1.4.1i |
On Mon 20 Oct 2003 (15:46 +0200), Achim Mueller wrote:
> * ?ystein Johansen wrote on 20 Okt 2003:
>
> I need someone with a RedHat 9 and a fast graphic card to test, if
> the rpms also install and run there.
I have RedHat 9 and a *very* slow graphics card.
>
> I only want to change the path to info. It's now $prefix/info and
> should be $prefix/share/info. Also I want the info files gzipped.
Linux RedHat9 puts most info files in /usr/share/info, gnubg is
currently using /usr/local/info. I have a /usr/local/share/info
directory, but that is empty. At the risk of stepping into a religious
war, I think that it has to go under /usr/local/, I don't see much
between /usr/local/share/info and /usr/local/info.
Under FreeBSD, it ends up in /usr/local/info and there is no
/usr/local/share/info directory.
--
Jim Segrave address@hidden
Re: [Bug-gnubg] Re: building rpms, Achim Mueller, 2003/10/21