diff options
Diffstat (limited to 'travis/deploy_website.sh')
| -rwxr-xr-x | travis/deploy_website.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/travis/deploy_website.sh b/travis/deploy_website.sh index 9a3e6dfc..f9eeaab9 100755 --- a/travis/deploy_website.sh +++ b/travis/deploy_website.sh @@ -11,6 +11,7 @@ git checkout gh-pages cd $builddir/html cp -rf * $destdir/proj4docs +cp $builddir/latexpdf/proj4.pdf $destdir/proj4docs cd $destdir/proj4docs git config user.email "proj4bot@proj4.bot" |