On Tue, May 19, 2015 at 10:32:59PM +0300, Pavel Emelyanov wrote: > > Whether or not to remove the install-man from install... I would say that > the best fix would be to introduce the install-criu (install-bin?) target > that would install criu only and make install: depend on it. Would that > work for you? +1