diff options
| author | mwtoews <mwtoews@gmail.com> | 2018-04-25 22:07:14 +1200 |
|---|---|---|
| committer | mwtoews <mwtoews@gmail.com> | 2018-04-25 22:07:14 +1200 |
| commit | c5b1d6b92755bb3a25d38c60be574e015e1e03d7 (patch) | |
| tree | c53c166da95a03ad6a25ed49443e59081084bdf0 /travis/deploy_website.sh | |
| parent | 7b71bf72a2daa3074c80b5f49155ec492aeaca89 (diff) | |
| download | PROJ-c5b1d6b92755bb3a25d38c60be574e015e1e03d7.tar.gz PROJ-c5b1d6b92755bb3a25d38c60be574e015e1e03d7.zip | |
updated PDF file name to copy to gh-pages
also modify proj4docs -> projdocs (should be harmless, as this is a working directory within /tmp)
Diffstat (limited to 'travis/deploy_website.sh')
| -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" |