On 05/14/13 11:37, Denis Excoffier wrote: > Now that NOID is gone, there is no point to keep it in Makefile (patch attached). Thanks, pushed into the experimental github version as commit 13d50f6f74a17cc68b99968ea3046ea12cd9c47d.