From c14c28a157d4d5d8f0e5bf3bd3f03d0002596e91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lubom=C3=ADr=20Sedl=C3=A1=C5=99?= <lsedlar@redhat.com>
Date: Tue, 22 Aug 2017 10:28:38 +0200
Subject: [PATCH] docs: Abort update script on error
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>
---
 doc/update-docs.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/update-docs.sh b/doc/update-docs.sh
index e6c61f83..7efcb33e 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