[PATCH] Do not install executable man pages

[Christian Ebert]

# HG changeset patch
# User Christian Ebert <blacktrash at gmx.net>
# Date 1232882517 -3600
# Node ID fa584d23e3ccd14f8b325836675a4f88e1309676
# Parent  161412a3341c97d4ea00d531298bfb8f9bbc04f5
Do not install executable man pages

Default mode of install might be 755, therefore specify 644.

diff --git a/doc/Makefile b/doc/Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,7 +3,7 @@
 HTML=$(SOURCES:%.txt=%.html)
 PREFIX=/usr/local
 MANDIR=$(PREFIX)/share/man
-INSTALL=install -c
+INSTALL=install -c -m 644
 PYTHON=python
 ASCIIDOC=asciidoc