From fd5d3ababb1022b5b46a6eca2d9f30d6aafcffc5 Mon Sep 17 00:00:00 2001 From: Dennis Gilmore Date: Tue, 1 Dec 2015 11:24:11 -0600 Subject: [PATCH] add a script to update the docs repo Signed-off-by: Dennis Gilmore --- doc/update-docs.sh | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 doc/update-docs.sh diff --git a/doc/update-docs.sh b/doc/update-docs.sh new file mode 100755 index 00000000..747f8251 --- /dev/null +++ b/doc/update-docs.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +# Copyright (C) 2015 Red Hat, Inc. +# SPDX-License-Identifier: GPL-2.0 + +git clone https://pagure.io/pungi.git /tmp/pungi +pushd /tmp/pungi/docs +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/docs/build/html/* ./ +git add . +git commit -s -m "update rendered pungi docs" +git push origin master +popd + +rm -rf /tmp/pungi/ /tmp/pungi-doc/