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