diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2018-04-25 13:00:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-25 13:00:23 +0200 |
| commit | 968fcad7ae5064e733978f47d5e93a9baf6a5c46 (patch) | |
| tree | c53c166da95a03ad6a25ed49443e59081084bdf0 | |
| parent | 7b71bf72a2daa3074c80b5f49155ec492aeaca89 (diff) | |
| parent | c5b1d6b92755bb3a25d38c60be574e015e1e03d7 (diff) | |
| download | PROJ-968fcad7ae5064e733978f47d5e93a9baf6a5c46.tar.gz PROJ-968fcad7ae5064e733978f47d5e93a9baf6a5c46.zip | |
Merge pull request #952 from mwtoews/scripts-update
updated PDF file name to copy to gh-pages
| -rwxr-xr-x | travis/deploy_website.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/travis/deploy_website.sh b/travis/deploy_website.sh index 80cd03c6..07e2c556 100755 --- a/travis/deploy_website.sh +++ b/travis/deploy_website.sh @@ -4,16 +4,16 @@ builddir=$1 destdir=$2 -git clone git@github.com:OSGeo/proj.4.git $destdir/proj4docs -cd $destdir/proj4docs +git clone git@github.com:OSGeo/proj.4.git $destdir/projdocs +cd $destdir/projdocs git checkout gh-pages cd $builddir/html -cp -rf * $destdir/proj4docs -cp $builddir/latex/proj4.pdf $destdir/proj4docs +cp -rf * $destdir/projdocs +cp $builddir/latex/proj.pdf $destdir/projdocs -cd $destdir/proj4docs +cd $destdir/projdocs git config user.email "proj4bot@proj4.bot" git config user.name "proj.4 deploybot" |