From c14c28a157d4d5d8f0e5bf3bd3f03d0002596e91 Mon Sep 17 00:00:00 2001
From: Lubomír Sedlář <lsedlar@redhat.com>
Date: Aug 22 2017 08:28:38 +0000
Subject: docs: Abort update script on error


If building documentation fails, there's no point in trying to update
the repo.

Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>

---

diff --git a/doc/update-docs.sh b/doc/update-docs.sh
index e6c61f8..7efcb33 100755
--- a/doc/update-docs.sh
+++ b/doc/update-docs.sh
@@ -3,6 +3,8 @@
 # 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