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>
This commit is contained in:
parent
c9d95f5f6f
commit
c14c28a157
@ -3,6 +3,8 @@
|
|||||||
# Copyright (C) 2015 Red Hat, Inc.
|
# Copyright (C) 2015 Red Hat, Inc.
|
||||||
# SPDX-License-Identifier: GPL-2.0
|
# SPDX-License-Identifier: GPL-2.0
|
||||||
|
|
||||||
|
set -e
|
||||||
|
|
||||||
git clone https://pagure.io/pungi.git /tmp/pungi
|
git clone https://pagure.io/pungi.git /tmp/pungi
|
||||||
pushd /tmp/pungi/doc
|
pushd /tmp/pungi/doc
|
||||||
make html
|
make html
|
||||||
|
Loading…
Reference in New Issue
Block a user