make dev-install not issuing any helpful instructions anymore

[Noel Grandin]

Hi

Once upon a time, "make dev-install" would helpfully indicate how and 
where to run the resulting binary.

Any ideas what happened to that?

Thanks,
    Noel Grandin