update the script to make docs to make 4.0 version also. update the master docs for 4.1
Signed-off-by: Dennis Gilmore <dennis@ausil.us>
This commit is contained in:
parent
7e2cd28fb8
commit
0c13908864
@ -44,16 +44,16 @@ master_doc = 'index'
|
||||
|
||||
# General information about the project.
|
||||
project = u'Pungi'
|
||||
copyright = u'2015, Red Hat, Inc.'
|
||||
copyright = u'2016, Red Hat, Inc.'
|
||||
|
||||
# The version info for the project you're documenting, acts as replacement for
|
||||
# |version| and |release|, also used in various other places throughout the
|
||||
# built documents.
|
||||
#
|
||||
# The short X.Y version.
|
||||
version = '4.0'
|
||||
version = '4.1'
|
||||
# The full version, including alpha/beta/rc tags.
|
||||
release = '4.0'
|
||||
release = '4.1'
|
||||
|
||||
# The language for content autogenerated by Sphinx. Refer to documentation
|
||||
# for a list of supported languages.
|
||||
|
@ -12,6 +12,12 @@ git clone ssh://git@pagure.io/docs/pungi.git /tmp/pungi-doc
|
||||
pushd /tmp/pungi-doc
|
||||
git rm -fr ./*
|
||||
cp -r /tmp/pungi/doc/_build/html/* ./
|
||||
pushd /tmp/pungi/doc
|
||||
git checkout 4.0.x
|
||||
make html
|
||||
popd
|
||||
mkdir 4.0
|
||||
cp -r /tmp/pungi/doc/_build/html/* ./4.0/
|
||||
git add .
|
||||
git commit -s -m "update rendered pungi docs"
|
||||
git push origin master
|
||||
|
Loading…
Reference in New Issue
Block a user