| #!/bin/bash | |
| SOURCE="doc/www" | |
| TARGET="../henshin-www" | |
| if [ ! -d $SOURCE ] | |
| then | |
| echo "Directory not found: $SOURCE" | |
| exit 1 | |
| fi | |
| if [ ! -d $TARGET ] | |
| then | |
| echo "Directory not found: $TARGET" | |
| exit 1 | |
| fi | |
| cp -f -R $SOURCE/* $TARGET | |
| CW=$(pwd) | |
| cd $TARGET | |
| git add --all && git commit && git push | |
| cd $CW |