| commit | 6cae82a10ce038a13c23bd5d357e9d2b8eba0b08 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Mon Feb 12 21:00:00 2018 +0100 |
| committer | MG Mud User <mud@mg.mud.de> | Mon Feb 12 21:00:00 2018 +0100 |
| tree | dedf1c85b14276a7951e298d41d9db3979b0cf14 | |
| parent | c786feedda05726fcf3cdbc736449871d8bcf6e8 [diff] |
Neu erstellte Manpages still kopieren. Change-Id: I54d9abbc7659b8aafca9397ef07e81f5c92adac4
diff --git a/doc/make-man.sh b/doc/make-man.sh index 556f98b..67d4fae 100755 --- a/doc/make-man.sh +++ b/doc/make-man.sh
@@ -21,6 +21,6 @@ DIR=`dirname ${FILE}` BASE=`basename ${FILE} .txt` mkdir -p ${MMANDIR}/${DIR} - cp -av $FILE ${MMANDIR}/${DIR}/${BASE} + cp -a $FILE ${MMANDIR}/${DIR}/${BASE} done