[CRIU] Another Makefile related question

[Pavel Emelyanov]

On 05/19/2015 04:00 PM, Adrian Reber wrote:
> To build criu a simple 'make' is enough. To build the documentation
> 'make docs' can be used.
> 
> During 'make install' however the documentation is still built and
> then installed.
> 
> On systems without asciidoc installed I do not build the documentation
> with 'make docs'. It then fails during 'make install' as it wants to
> build the documentation anyway. My current solution is to remove the
> install-man target from the install target in the Makefile.
> 
> So I would like to see install-man removed from the install target but I
> am not sure what you (upstream) say to this. Do you want a patch for
> this trivial fix, or some other approach?

If there's no possibility to install sources w/o documentation and this
possibility is required, then we definitely need the fix for that :)

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?

-- Pavel