2015-12-01 17:24:11 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# Copyright (C) 2015 Red Hat, Inc.
|
|
|
|
|
# SPDX-License-Identifier: GPL-2.0
|
|
|
|
|
|
|
|
|
|
git clone https://pagure.io/pungi.git /tmp/pungi
|
2015-12-01 17:27:24 +00:00
|
|
|
pushd /tmp/pungi/doc
|
2015-12-01 17:24:11 +00:00
|
|
|
make html
|
|
|
|
|
popd
|
|
|
|
|
|
|
|
|
|
git clone ssh://git@pagure.io/docs/pungi.git /tmp/pungi-doc
|
|
|
|
|
pushd /tmp/pungi-doc
|
|
|
|
|
git rm -fr ./*
|
2015-12-01 17:27:24 +00:00
|
|
|
cp -r /tmp/pungi/doc/_build/html/* ./
|
2015-12-01 17:24:11 +00:00
|
|
|
git add .
|
|
|
|
|
git commit -s -m "update rendered pungi docs"
|
|
|
|
|
git push origin master
|
|
|
|
|
popd
|
|
|
|
|
|
|
|
|
|
rm -rf /tmp/pungi/ /tmp/pungi-doc/
|
