Simon, Are you OK with these patches?
Basil, I don't understand the problem in 0003: "recursive $(shell) expansion". What do you mean? The result of the $(shell ...) expression is a file name; neither GNULIB_SRCDIR nor srcdir normally contains a '$' character or parentheses. Bruno
