That seems to me the most sensible solution, yes.

Great

Thanks Ralf.

_______________________________________________
Autoconf mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf

Reply via email to