diff options
author | fishsoupisgood <github@madingley.org> | 2019-05-27 02:41:51 +0100 |
---|---|---|
committer | fishsoupisgood <github@madingley.org> | 2019-05-27 02:41:51 +0100 |
commit | 333b605b2afd472b823aeda0adf0e8b1ea9843c0 (patch) | |
tree | bc8f581317897e2e53f278f1716b4471fcdccd4f /install.sh | |
download | asl-333b605b2afd472b823aeda0adf0e8b1ea9843c0.tar.gz asl-333b605b2afd472b823aeda0adf0e8b1ea9843c0.tar.bz2 asl-333b605b2afd472b823aeda0adf0e8b1ea9843c0.zip |
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/install.sh b/install.sh new file mode 100755 index 0000000..affd41e --- /dev/null +++ b/install.sh @@ -0,0 +1,66 @@ +#!/bin/sh +# set -v + +echo "Installing files:" + +if [ "$1" != "" ]; then + mkdirhier $1 + chmod 755 $1 + for i in asl plist pbind p2hex p2bin; do + echo $1/$i + strip $i + cp $i $1 + chmod 755 $1/$i + done +fi + +if [ "$2" != "" ]; then + mkdirhier $2 + chmod 755 $2 + for i in include/*.inc; do + base=`basename $i` + echo $2/$base + cp $i $2 + chmod 644 $2/$base + done +fi + +if [ "$3" != "" ]; then + mkdirhier $3/man1 + chmod 755 $3 $3/man1 + for i in *.1; do + echo $3/man1/$i + cp $i $3/man1 + chmod 644 $3/man1/$i + done +fi + +if [ "$4" != "" ]; then + mkdirhier $4 + chmod 755 $4 + for i in *.msg; do + echo $4/$i + cp $i $4 + chmod 644 $4/$i + done +fi + +if [ "$5" != "" ]; then + mkdirhier $5 + chmod 755 $5 + for i in DE EN; do + echo $5/as-$i.doc + cp doc_$i/as.doc $5/as-$i.doc + echo $5/as-$i.tex + cp doc_$i/as.tex $5/as-$i.tex + if [ -f doc_$i/as.dvi ]; then + echo $5/as-$i.dvi + cp doc_$i/as.dvi $5/as-$i.dvi + fi + if [ -f doc_$i/as.ps ]; then + echo $5/as-$i.ps + cp doc_$i/as.ps $5/as-$i.ps + fi + chmod 644 $5/as-$i.* + done +fi |