$docprefix [Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]]

2001-06-22 Thread Guido Draheim
Alexandre Oliva wrote: > > > which leads me to the question where the /doc should go under, > > Perhaps instead of --docdir we should have --doc-prefix, that defaults > to --prefix? Then man, info, html, etc would all be in /usr/local by > default, but this could be easily overridden using --d

ltconfig version `' does not match ltmain.sh version

2001-06-22 Thread Tilo Riemer
hello, what is wrong if I get the following error: libtool: ltconfig version ' does not match ltmain.sh version 4a' best regards, Tilo

Re: ltconfig version `' does not match ltmain.sh version

2001-06-22 Thread Gary V . Vaughan
On Friday 22 June 2001 11:20 am, Tilo Riemer wrote: > what is wrong if I get the following error: > > libtool: ltconfig version ' does not match ltmain.sh version 4a' You are using a mismatched ltmain.sh and ltconfig from different versions of libtool. Cheers, Gary. -- ())_. Gary V.

Re: ltconfig version `' does not match ltmain.sh version

2001-06-22 Thread Ralf Corsepius
"Gary V. Vaughan" wrote: > > On Friday 22 June 2001 11:20 am, Tilo Riemer wrote: > > what is wrong if I get the following error: > > > > libtool: ltconfig version ' does not match ltmain.sh version 4a' > > You are using a mismatched ltmain.sh and ltconfig from different versions of > libtool. II