diff options
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/build_docs.sh | 1 | ||||
| -rwxr-xr-x | travis/deploy_website.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/travis/build_docs.sh b/travis/build_docs.sh index cc8f5ccd..bae779f6 100755 --- a/travis/build_docs.sh +++ b/travis/build_docs.sh @@ -3,5 +3,6 @@ cd docs echo "building docs for $TRAVIS_BUILD_DIR/docs" docker run -v $TRAVIS_BUILD_DIR:/data -w /data/docs osgeo/proj.4 make html +docker run -v $TRAVIS_BUILD_DIR:/data -w /data/docs osgeo/proj.4 make latexpdf 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" |