make dev-install not issuing any helpful instructions anymore

[Jan Holesovsky]

Hi Noel,

Noel Grandin píše v Út 19. 02. 2013 v 08:17 +0200:

> Once upon a time, "make dev-install" would helpfully indicate how and 
> where to run the resulting binary.
> 
> Any ideas what happened to that?

Very good point, I think it was accidentally removed with
910a452fed76e2cdadc6d401edb80623d34e926e.  Reintroduced now :-) -
improvements appreciated, it is located in Makefile.in.

All the best,
Kendy