From 303fc0cc6644610aa03de5c1d79253c8d4728ee5 Mon Sep 17 00:00:00 2001
From: Ondrej Nosek <onosek@redhat.com>
Date: Jan 04 2019 10:02:16 +0000
Subject: Added update-docs script


Script that updates html documentation git repository on Pagure.

Signed-off-by: Ondrej Nosek <onosek@redhat.com>

---

diff --git a/doc/update-docs.sh b/doc/update-docs.sh
new file mode 100755
index 0000000..49ccd4b
--- /dev/null
+++ b/doc/update-docs.sh
@@ -0,0 +1,34 @@
+#!/bin/bash
+
+# Copyright (C) 2019 Red Hat, Inc.
+# SPDX-License-Identifier:      GPL-2.0
+
+trap cleanup EXIT
+
+function cleanup() {
+    printf "Run cleanup\\n"
+    rm -rf  "$dir_rpkg" "$dir_rpkg_doc"
+}
+
+if [ -z "$1" ]; then
+    printf "Usage:\\n"
+    printf "\\t%s release_version\\n" "$0"
+    exit 1
+fi
+
+set -e
+dir_rpkg=$(mktemp -d /tmp/rpkg.XXX) || { echo "Failed to create temp directory"; exit 1; }
+git clone https://pagure.io/rpkg.git "$dir_rpkg"
+pushd "$dir_rpkg"/doc
+make html
+popd
+
+dir_rpkg_doc=$(mktemp -d /tmp/rpkg-doc.XXX) || { echo "Failed to create temp directory"; exit 1; }
+git clone ssh://git@pagure.io/docs/rpkg.git "$dir_rpkg_doc"
+pushd "$dir_rpkg_doc"
+git rm -fr ./*
+cp -r "$dir_rpkg"/doc/build/html/* ./
+git add .
+git commit -s -m "Publish documentation for release $1"
+git push origin master
+popd