Update auto-erzeugter Files.

Fuer die Bequemlichkeit von Nutzern, die kein sphinx haben.

Change-Id: Ib49ae3b16fd391b9f89b2297dfcebb1bbc406fc6
diff --git a/doc/make-man.sh b/doc/make-man.sh
index 67d4fae..e2e5790 100755
--- a/doc/make-man.sh
+++ b/doc/make-man.sh
@@ -15,12 +15,15 @@
 
 cd $MTEXTDIR
 SOURCES=`find . -type f -name \*.txt`
+umask o+rx
 for FILE in $SOURCES
 do
 #  echo "Processing $FILE..."
   DIR=`dirname ${FILE}`
   BASE=`basename ${FILE} .txt`
   mkdir -p ${MMANDIR}/${DIR}
+#chmod o+rx ${MMANDIR}/${DIR}
   cp -a $FILE ${MMANDIR}/${DIR}/${BASE}
+#  chmod o+r ${MMANDIR}/${DIR}/${BASE}
 done