Merge pull request #42 from invenia/cdg/pin-documenter
Pin Documenter to v0.19
This commit is contained in:
commit
44a03f1a5d
@ -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}}
|
||||
|
Loading…
Reference in New Issue
Block a user