[CRIU] [PATCH v3] Makefiles: add install target

[Pavel Emelyanov]

On 05/03/2013 12:54 AM, Kir Kolyshkin wrote:
> Note to package maintainers:
> 
> 1 Yes we do support DESTDIR.
> 
> 2 From packaging scripts, use something like this:
> 
> 	make install DESTDIR=$RPM_BUILD_ROOT PREFIX=/usr
> 
> (v2: add PREFIX, install to /usr/local not /usr by default)
> (v3: fix criu man section -- it is 8 not 1)
> 
> Signed-off-by: Kir Kolyshkin <kir at openvz.org>

applied