[CRIU] [PATCH 0/2] improve man generation

[Pavel Emelyanov]

On 01/09/2014 07:34 AM, Kir Kolyshkin wrote:
> Improve Doc/Makefile, and add pdf/ps man generation.
> 
> Kir Kolyshkin (2):
>   Doc/Makefile: make clean less greedy
>   Doc/Makefile: add ps and pdf generation
> 
>  Documentation/.gitignore |  2 ++
>  Documentation/Makefile   | 22 ++++++++++++++++++++--
>  2 files changed, 22 insertions(+), 2 deletions(-)
> 


applied, thanks