Re: user install

[Igor Schein <igor@txc.com>]

On Mon, Nov 17, 2003 at 02:29:21PM +0100, Xavier-François Roblot wrote:
> On Mon, 2003-11-17 at 11:55, Karim BELABAS wrote:
> 
> > Can't reproduce this.
> > 
> > 1) Try 'gp -f' first.
> > 
> > 2) Do you by any chance have a /etc/gprc or $HOME/.gprc somehow interfering with the
> > default settings [ exact location of that file is the first line printed on startup ].
> 
> Well, there was indeed something wrong with my configuration: a link
> pointing where it should not. Anyway, even with that fix, I can't get it
> to work:
> 
> ? ??bnrinit
> /doc not found at /home/roblot/pari/installed/bin/gphelp line 146.

I get the same thing.  You can 

setenv GPDOCDIR /home/roblot/pari/installed/share/pari/doc

as a workaround.

Igor