From 141f00105a26bc2b79aa83f35f4a7d4634ede80a Mon Sep 17 00:00:00 2001
From: Ondřej Nosek <onosek@redhat.com>
Date: Feb 01 2019 16:42:22 +0000
Subject: Added update-docs script


Script that updates html documentation git repository on Pagure.

Signed-off-by: Ondřej Nosek <onosek@redhat.com>

---

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