diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 11:23:38 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 11:23:38 +0100 |
commit | 299ec2a59de5a449c969c53598e070b69133ce48 (patch) | |
tree | 8f72576119a1c9248e108e919fe894f06da75de1 /src | |
parent | ba9b80f15ad31509840926f7568ddfc57921ad60 (diff) |
install docs also in /home/arch/fifa
Diffstat (limited to 'src')
-rwxr-xr-x | src/patch-install-cd.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/patch-install-cd.sh b/src/patch-install-cd.sh index 47b222b..a0158ae 100755 --- a/src/patch-install-cd.sh +++ b/src/patch-install-cd.sh @@ -1,6 +1,9 @@ #!/bin/sh SRC_DIR=`dirname $0` # the src directory in the git clone -mkdir /home/arch/fifa/ +GIT_DIR=`dirname $SRC_DIR` # the git clone dir itself +mkdir -p /home/arch/fifa/docs cp -ax $SRC_DIR/fifa.sh /arch/fifa.sh cp -ax $SRC_DIR/profiles/* /home/arch/fifa/ cp -ax $SRC_DIR/lib /home/arch/fifa/lib +cp -ax $GIT_DIR/HOWTO /home/arch/fifa/docs/ +cp -ax $GIT_DIR/README /home/arch/fifa/docs/ |