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

Kir Kolyshkin kir at openvz.org
Wed Jan 8 19:34:36 PST 2014


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(-)

-- 
1.8.1.4



More information about the CRIU mailing list