Re: makefile rules

[Bruno Haible]

Paul Eggert wrote:
> I also installed the second attached patch, which adds a couple of 
> @NMD@s that were missed earlier.

Thanks. Yes, I missed the ones in modules/libgmp.

Bruno