#!/usr/bin/env bash

cd "${CI_PROJECT_DIR}" || exit 1

if [ "${CI_COMMIT_REF_NAME}" == "master" ] ; then
  make -C docs -j full ;
  git clone --depth 5 git@gitlab.com:"${CI_PROJECT_NAMESPACE}"/"${CI_PROJECT_NAMESPACE}".gitlab.io gitlab.io ;
  rsync --recursive --links --perms --delete --exclude=.doctrees --exclude={{main,alpha,zero}net,master}/index.html docs/_build/ gitlab.io/public/ ;
  cd gitlab.io || exit 2;
else
  echo "Skip pushing documentation. Only pushing for real master" ;
fi

if [ -z "$(git status -s)" ] ; then
  echo "Nothing to commit!" ;
else
  git add public ;
  git commit -m "Import doc of ${CI_PROJECT_NAMESPACE}/${CI_PROJECT_NAME}:${CI_COMMIT_SHA}" ;
  git push origin master ;
fi