Mathieu Lirzin wrote: > OTOH Having a configure script allows other > prerequisites such as GNU Make, ‘git’, ‘makeinfo’ and ‘cppi’ to be > checked explicitly which would be an improvement. Maybe there is a good > reason I am overlooking that explains why Gnulib doesn't already have a > configure script.
We don't need another layer of 'configure' for gnulib's main Makefile and gnulib-tool. Both are meant to be used by developers on their development machines. It is *not* meant to be used in poor runtime environments. I am in favour of applying your patch. Bruno
