tree a32e6ceb59b44ed2c6b9e9e13787270b72679fb2
parent 1d8c9dc47de0cbf3955ccc9408564cccbda8e348
author Pavel Roskin <proski@gnu.org> 1151644166 -0400
committer Junio C Hamano <junkio@cox.net> 1151885684 -0700

Delete manuals if compiling without docs

Otherwise, rpm would complain about unpacked files.

Signed-off-by: Pavel Roskin <proski@gnu.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>