On Sat, Jul 10, 2010 at 08:39:03PM +0800, Zou Hu wrote: > No, I just run ./configure before make.
Even if run ./configure and then make, make still terminates after a few seconds having done nothing (which rather surprises me as I'd expect the whole thing to be rebuilt after a configure). I can't understand why you should be getting different behaviour. Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
