Use master _static (#5253)

* Use _static from master everywhere

* Copy to existing too
This commit is contained in:
Sylvain Gugger
2020-06-24 15:06:14 -04:00
committed by GitHub
parent 4965aee064
commit 70c1e1d2d5

View File

@@ -5,38 +5,31 @@ function deploy_doc(){
git checkout $1
if [ ! -z "$2" ]
then
if [ "$2" != "master" ] && ssh -oStrictHostKeyChecking=no $doc "[ -d $dir/$2 ]"; then
if [ "$2" != "master" ]; then
echo "Pushing master"
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir/$2/
cp -r _build/html/_static .
elif ssh -oStrictHostKeyChecking=no $doc "[ -d $dir/$2 ]"; then
echo "Directory" $2 "already exists"
scp -r -oStrictHostKeyChecking=no _static/* $doc:$dir/$2/_static/
else
echo "Pushing version" $2
make clean && make html
if [ "$2" == "master" ]; then
scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir/$2/
else
scp -r -oStrictHostKeyChecking=no _build/html $doc:$dir/$2
fi
rm -rf _build/html/_static
cp -r _static _build/html
scp -r -oStrictHostKeyChecking=no _build/html $doc:$dir/$2
fi
else
echo "Pushing stable"
make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir
fi
}
function debug_custom() {
echo "Head of source/_static/js/custom.js"
head -10 source/_static/js/custom.js
if [ -d "_build/html/_static" ]; then
echo "Head of _build/html/_static/js/custom.js"
head -10 _build/html/_static/js/custom.js
else
echo "No build"
make clean && make html
rm -rf _build/html/_static
cp -r _static _build/html
scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir
fi
}
# You can find the commit for each tag on https://github.com/huggingface/transformers/tags
debug_custom
deploy_doc "master" master
debug_custom
deploy_doc "b33a385" v1.0.0
deploy_doc "fe02e45" v1.1.0
deploy_doc "89fd345" v1.2.0
@@ -53,5 +46,4 @@ deploy_doc "11c3257" v2.8.0
deploy_doc "e7cfc1a" v2.9.0
deploy_doc "7cb203f" v2.9.1
deploy_doc "10d7239" v2.10.0
deploy_doc "b42586e" #v2.11.0 Latest stable release
debug_custom
deploy_doc "b42586e" #v2.11.0 Latest stable release