Delete manuals if compiling without docs
commit1434dbce02aaa96ae5d0a1f4f000cce5727498fa
authorPavel Roskin <proski@gnu.org>
Fri, 30 Jun 2006 05:09:26 +0000 (30 01:09 -0400)
committerJunio C Hamano <junkio@cox.net>
Mon, 3 Jul 2006 00:14:44 +0000 (2 17:14 -0700)
treea32e6ceb59b44ed2c6b9e9e13787270b72679fb2
parent1d8c9dc47de0cbf3955ccc9408564cccbda8e348
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>
git.spec.in