From 5dc99003ff78b5a8f9fd8f902553b5496dc5eda5 Mon Sep 17 00:00:00 2001
From: Morten Piibeleht <morten.piibeleht@gmail.com>
Date: Wed, 17 Oct 2018 16:38:36 +1300
Subject: [PATCH] Cap Documenter.jl to 0.19 on Travis

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 4d27c6253..47853dec0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,6 +22,6 @@ notifications:
   email: false
 
 after_success:
-  - 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 -e 'cd(Pkg.dir("IntervalArithmetic")); include(joinpath("docs", "make.jl"))'
   - julia -e 'cd(Pkg.dir("IntervalArithmetic")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder()); Codecov.submit(process_folder())'