From b574fd751e5c3ebaa68bcf22de8b0b8c5f144986 Mon Sep 17 00:00:00 2001 From: Jordi Date: Tue, 7 Jan 2014 12:59:42 +0100 Subject: [PATCH] update man pages source paths --- linux/dmd_arch.sh | 8 +++++--- linux/dmd_deb.sh | 8 +++++--- linux/dmd_rpm.sh | 8 +++++--- 3 files changed, 15 insertions(+), 9 deletions(-) diff --git a/linux/dmd_arch.sh b/linux/dmd_arch.sh index 09b11507..399fadf5 100755 --- a/linux/dmd_arch.sh +++ b/linux/dmd_arch.sh @@ -186,12 +186,14 @@ else # install man pages - gzip ../$UNZIPDIR/man/man1/{dmd.1,dmd.conf.5,dumpobj.1,obj2asm.1,rdmd.1} - chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dmd.conf.5.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + gzip ../$UNZIPDIR/man/man1/{dmd.1,dumpobj.1,obj2asm.1,rdmd.1} + gzip ../$UNZIPDIR/man/man5/dmd.conf.5 + chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + chmod 0644 ../$UNZIPDIR/man/man5/dmd.conf.5.gz mkdir -p usr/share/man/man1/ cp -f ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} usr/share/man/man1 mkdir -p usr/share/man/man5/ - cp -f ../$UNZIPDIR/man/man1/dmd.conf.5.gz usr/share/man/man5 + cp -f ../$UNZIPDIR/man/man5/dmd.conf.5.gz usr/share/man/man5 # copy copyright file diff --git a/linux/dmd_deb.sh b/linux/dmd_deb.sh index 80026dcf..b72a2f75 100755 --- a/linux/dmd_deb.sh +++ b/linux/dmd_deb.sh @@ -201,12 +201,14 @@ else # install man pages - gzip ../$UNZIPDIR/man/man1/{dmd.1,dmd.conf.5,dumpobj.1,obj2asm.1,rdmd.1} - chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dmd.conf.5.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + gzip ../$UNZIPDIR/man/man1/{dmd.1,dumpobj.1,obj2asm.1,rdmd.1} + gzip ../$UNZIPDIR/man/man5/dmd.conf.5 + chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + chmod 0644 ../$UNZIPDIR/man/man5/dmd.conf.5.gz mkdir -p usr/share/man/man1/ cp -f ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} usr/share/man/man1 mkdir -p usr/share/man/man5/ - cp -f ../$UNZIPDIR/man/man1/dmd.conf.5.gz usr/share/man/man5 + cp -f ../$UNZIPDIR/man/man5/dmd.conf.5.gz usr/share/man/man5 # generate copyright file diff --git a/linux/dmd_rpm.sh b/linux/dmd_rpm.sh index 008f67d0..9795775e 100755 --- a/linux/dmd_rpm.sh +++ b/linux/dmd_rpm.sh @@ -204,12 +204,14 @@ do # install man pages - gzip ../$UNZIPDIR/man/man1/{dmd.1,dmd.conf.5,dumpobj.1,obj2asm.1,rdmd.1} - chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dmd.conf.5.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + gzip ../$UNZIPDIR/man/man1/{dmd.1,dumpobj.1,obj2asm.1,rdmd.1} + gzip ../$UNZIPDIR/man/man5/dmd.conf.5 + chmod 0644 ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} + chmod 0644 ../$UNZIPDIR/man/man5/dmd.conf.5.gz mkdir -p usr/share/man/man1/ cp -f ../$UNZIPDIR/man/man1/{dmd.1.gz,dumpobj.1.gz,obj2asm.1.gz,rdmd.1.gz} usr/share/man/man1 mkdir -p usr/share/man/man5/ - cp -f ../$UNZIPDIR/man/man1/dmd.conf.5.gz usr/share/man/man5 + cp -f ../$UNZIPDIR/man/man5/dmd.conf.5.gz usr/share/man/man5 # rpmize copyright file