From 552bc7596c1639d1f66bf781084d3961b36dbd53 Mon Sep 17 00:00:00 2001
From: Morten Piibeleht <morten.piibeleht@gmail.com>
Date: Wed, 17 Oct 2018 21:45:09 +1300
Subject: [PATCH] Cap Documenter.jl to 0.19 on Travis (#517)

Documenter 0.20 will introduce breaking changes that will invalidate
existing make.jl setups. This commit makes sure that automatic Travis
builds will not use 0.20 automatically, in order to avoid sudden
documentation deployment failures once Documenter 0.20 gets tagged.

This commit has been generated by a script.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 3c6edac2..5c706de5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -25,5 +25,5 @@ after_success:
   - if [ $TRAVIS_JULIA_VERSION = "0.7" ] && [ $TRAVIS_OS_NAME = "linux" ]; then
       julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder()); Codecov.submit(Codecov.process_folder())';
     fi
-  - julia -e 'using Pkg; Pkg.add("Documenter")'
+  - julia -e 'using Pkg; ps=Pkg.PackageSpec(name="Documenter", version="0.19"); Pkg.add(ps); Pkg.pin(ps)'
   - julia docs/make.jl