#!/bin/bash

# Copyright (C) 2015 Red Hat, Inc.
# SPDX-License-Identifier:      GPL-2.0

set -e

git clone https://pagure.io/pungi.git /tmp/pungi
pushd /tmp/pungi/doc
make html
popd

git clone ssh://git@pagure.io/docs/pungi.git /tmp/pungi-doc
pushd /tmp/pungi-doc
git rm -fr ./*
cp -r /tmp/pungi/doc/_build/html/* ./
pushd /tmp/pungi/doc
git checkout 4.0.x
make html
popd
mkdir 4.0
cp -r /tmp/pungi/doc/_build/html/* ./4.0/
git add .
git commit -s -m "update rendered pungi docs"
git push origin master
popd

rm -rf  /tmp/pungi/ /tmp/pungi-doc/