#!/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 |