diff --git a/docs/Project.toml b/docs/Project.toml index 11ab6ac9ce46..9427b85b9b4f 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -5,7 +5,7 @@ JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13" [compat] -Documenter = "1.9.0" +Documenter = "1.16.0" DocumenterCitations = "~1.3.4" JSON = "1.0.1" diff --git a/docs/make_work.jl b/docs/make_work.jl index 30364fae7918..3ba914336ca0 100644 --- a/docs/make_work.jl +++ b/docs/make_work.jl @@ -195,6 +195,7 @@ function doit( clean=true, doctest=false, warnonly=warnonly, + treat_markdown_warnings_as_error=!warnonly, checkdocs=:none, pages=doc, remotes=Dict(