diff options
author | Pavel Roskin <proski@gnu.org> | 2006-06-30 07:09:26 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-07-03 02:14:44 +0200 |
commit | 1434dbce02aaa96ae5d0a1f4f000cce5727498fa (patch) | |
tree | a32e6ceb59b44ed2c6b9e9e13787270b72679fb2 /name-rev.c | |
parent | Fix probing for already installed Error.pm (diff) | |
download | git-1434dbce02aaa96ae5d0a1f4f000cce5727498fa.tar.xz git-1434dbce02aaa96ae5d0a1f4f000cce5727498fa.zip |
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>
Diffstat (limited to 'name-rev.c')
0 files changed, 0 insertions, 0 deletions