From c72fc72fc211babcd78a16f691c2f49c5ce1a92d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Sat, 5 Jan 2019 15:04:36 +0100 Subject: [PATCH] =?UTF-8?q?=E2=AC=86=EF=B8=8F=20Documenter=20v0.20=20->=20?= =?UTF-8?q?v0.21?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/Project.toml | 2 +- docs/make.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/Project.toml b/docs/Project.toml index c2785383adf..ce87d157203 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -2,4 +2,4 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" [compat] -Documenter = "~0.20" +Documenter = "~0.21" diff --git a/docs/make.jl b/docs/make.jl index dc68e8c0382..82fef70ddc9 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -10,7 +10,7 @@ using Documenter, JuMP makedocs( sitename = "JuMP", # See https://github.com/JuliaDocs/Documenter.jl/issues/868 - html_prettyurls = get(ENV, "CI", nothing) == "true", + format = Documenter.HTML(prettyurls = get(ENV, "CI", nothing) == "true"), # See https://github.com/JuliaOpt/JuMP.jl/issues/1576 strict = true, authors = "Miles Lubin, Iain Dunning, and Joey Huchette",