#!/bin/bash

#
# This script is run by travis-ci and pushes generated
# Doxygen docs and single-source distributions to open62541-www
#

git clone --depth=5 -b gh-pages https://$GITAUTH@github.com/acplt/open62541-www
cd open62541-www
#handle doc
git rm -r -f doc
cp -r ../doc ./
git add -A doc/*
git config --global user.email "open62541-travis-ci@users.noreply.github.com"
git config --global user.name "Open62541 travis-ci"
git config --global push.default simple
git commit -am "gh-pages updated by travis-ci"
git push https://$GITAUTH@github.com/acplt/open62541-www
cd ..
rm -rf open62541-www