Merge branch 'master' of https://github.com/JuliaPOMDP/POMDPSimulator…

…s.jl
JuliaPOMDP · Oct 22, 2018 · 67edc59 · 67edc59
2 parents c507ef9 + ab60fa9
commit 67edc59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -14,4 +14,4 @@ notifications:
 
 after_success:
   - julia --project -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
-  - julia --project -e 'import Pkg; Pkg.add("Documenter"); include("docs/make.jl")'
+  - julia --project -e 'import Pkg; ps=Pkg.PackageSpec(name="Documenter", version="0.19"); Pkg.add(ps); Pkg.pin(ps); include("docs/make.jl")'