Re: [patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Jean-Marc Lasgouttes
> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes: Georg> That would also mean that LaTeXConfig.lyx would need to be Georg> created from a Makefile. No, it will only be created in the user directory. We should not create anything in the system directory. JMarc

Re: [patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Georg Baum
Am Samstag, 18. März 2006 17:01 schrieb Jean-Marc Lasgouttes: > Put it in. Done. > The better solution will be to run configure.py in userdir > only. That would also mean that LaTeXConfig.lyx would need to be created from a Makefile. Georg

Re: [patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Jean-Marc Lasgouttes
> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes: Georg> lib/configure.py cannot be run if you compile with a fresh Georg> builddir != srcdir. The reason is that the main configure Georg> script creates builddir/lib only after trying to run Georg> lib/configure.py. The attached patch fixes t

Re: [patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Georg Baum
Am Samstag, 18. März 2006 16:11 schrieb Angus Leeming: > Georg Baum <[EMAIL PROTECTED]> writes: > Just a second... What does > foo || bar && baz > mean? Does it mean: > 1) > * Run "foo". > * If "foo" fails, run "bar". > * If "foo" succeeds, run "baz". > Or does it mean: > 2) >

Re: [patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Angus Leeming
Georg Baum <[EMAIL PROTECTED]> writes: > > lib/configure.py cannot be run if you compile with a fresh builddir != > srcdir. The reason is that the main configure script creates builddir/lib > only after trying to run lib/configure.py. > The attached patch fixes that. Does anybody know a better

[patch] fix lib/configure.py invocation for builddir != srcdir

2006-03-18 Thread Georg Baum
lib/configure.py cannot be run if you compile with a fresh builddir != srcdir. The reason is that the main configure script creates builddir/lib only after trying to run lib/configure.py. The attached patch fixes that. Does anybody know a better solution? If not I am going to put this in. Geor