Merge pull request #441 from JuliaReach/schillic/402

#402 - Use Pkg.pin to lock Documenter version
JuliaReach · Jul 31, 2018 · 5fc55cb · 5fc55cb
2 parents 7c66417 + 04065b1
commit 5fc55cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -29,7 +29,7 @@ matrix:
 #  - julia -e 'Pkg.clone(pwd()); Pkg.build("LazySets"); Pkg.test("LazySets"; coverage=true)'
 after_success:
   # documentation (restrict Documenter to release version 0.18.0 due to problems, see #402)
-  - julia -e 'Pkg.add("Documenter", v"0.18.0", v"0.19.0"); cd(Pkg.dir("LazySets")); include(joinpath("docs", "make.jl"))'
+  - julia -e 'Pkg.add("Documenter"); Pkd.pin("Documenter", v"0.18.0"); cd(Pkg.dir("LazySets")); include(joinpath("docs", "make.jl"))'
   # code coverage (for both Coveralls and Codecov)
   - julia -e 'Pkg.add("Coverage")'
   # push coverage results to Coveralls