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