diff --git a/doc/update-docs.sh b/doc/update-docs.sh index 747f8251..0d0a9b76 100755 --- a/doc/update-docs.sh +++ b/doc/update-docs.sh @@ -4,14 +4,14 @@ # SPDX-License-Identifier: GPL-2.0 git clone https://pagure.io/pungi.git /tmp/pungi -pushd /tmp/pungi/docs +pushd /tmp/pungi/doc make html popd git clone ssh://git@pagure.io/docs/pungi.git /tmp/pungi-doc pushd /tmp/pungi-doc git rm -fr ./* -cp -r /tmp/pungi/docs/build/html/* ./ +cp -r /tmp/pungi/doc/_build/html/* ./ git add . git commit -s -m "update rendered pungi docs" git push origin master