Merge pull request #42 from invenia/cdg/pin-documenter

Pin Documenter to v0.19
JuliaCI · Nov 14, 2018 · 44a03f1 · 44a03f1
2 parents 62702da + 2655710
commit 44a03f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/defaults/travis.yml b/defaults/travis.yml
@@ -21,6 +21,6 @@ after_success:
   - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'
 {{/COVERALLS}}
 {{#DOCUMENTER}}
-  - julia -e 'using Pkg; Pkg.add("Documenter"); include(joinpath("docs", "make.jl"))'
+  - julia -e 'if VERSION >= v"0.7.0"; using Pkg; ps=Pkg.PackageSpec(name="Documenter", version="0.19"); Pkg.add(ps); Pkg.pin(ps); else; Pkg.add("Documenter"); end; include(joinpath("docs", "make.jl"))'
 {{/DOCUMENTER}}
 {{/AFTER}}