>>>>> "Jean-Pierre" == Jean-Pierre Chretien <[EMAIL PROTECTED]> writes:

>>> btw, have you removed the config.cache file, before of re-running
Jean-Pierre> ./configure?

Jean-Pierre> A make clean is even better I think, you really restart
Jean-Pierre> from scratch.

'make clean' does not remove config.cache as far as I know. 'make
distclean' does.

JMarc

-- 
                +++ the lyx project user mailing list +++
                To unsubscribe from this list send mail to 
                         [EMAIL PROTECTED]
                    with the **Subject** unsubscribe.

Reply via email to