[CRIU] Another Makefile related question

[Adrian Reber]

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?

		Adrian