fix up the paths to the docs
Signed-off-by: Dennis Gilmore <dennis@ausil.us>
This commit is contained in:
parent
fd5d3ababb
commit
1ab4144dfb
1 changed files with 2 additions and 2 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue