blob: 5e8443173e2cd13250daec6a12f1885faab4a74a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/bash
set -e
ME=`basename $0`
DIR="$( cd "$( dirname "$0" )" && pwd )"
CWD=`pwd`
if [ ! -f "docs/html/index.html" ]
then
echo "No documentation found in docs/html - run from build dir after make docs"
exit
fi
DOCS="${CWD}/docs/html"
tempfoo=`basename $0`
TMPDIR=`mktemp -d /tmp/${tempfoo}.XXXXXX` || exit 1
cd ${TMPDIR}
git clone -b gh-pages git@github.com:tklab-tud/uscxml.git
rm -rf uscxml/*
cp -R /Users/sradomski/Documents/TK/Code/uscxml/build/cli/docs/html/ ./uscxml/
cd uscxml
git add -A
git commit -m "Updated documentation"
git push
|
