John Wiegley <jwiegley@...> writes:
| On Nov 24, 2007, at 12:34 PM, Juan Jose Garcia-Ripoll wrote:
| > Implemented. But you could have done the same by writing a script
| > yourself.
| Thank you, Juan. I know a script could have been written (I had the
| Make rules already working), but now others don't have to recreate the
| same work.
Yes; for OpenAxiom, I was using essentially the same Make rule as you
posted. However, I do like the new switch Juan implemented much
better. Thanks to both of you.