> OK, but I'm sorry I don't know the "standard" way to make Makefile from 
> Makefile.in.....

I do a top-level configure, which makes all the Makefiles.  After
that, if you modify the Makefile.in, just doing "make Makefile" in
that directory will work.

Bill

_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev

Reply via email to