From 5864e7e0aeac119a36fe4f80a993c4057d6031f5 Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <fredrik.ekre@chalmers.se>
Date: Mon, 29 Oct 2018 08:16:27 +0100
Subject: [PATCH] Use Documenter release instead of master. (#29830)

(cherry picked from commit be1ae2025f639b47ac11996499cc3d64ad8ba1e9)
---
 doc/Manifest.toml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/doc/Manifest.toml b/doc/Manifest.toml
index d260d9ada5a18..609d04b817e2b 100644
--- a/doc/Manifest.toml
+++ b/doc/Manifest.toml
@@ -17,11 +17,9 @@ version = "0.5.0"
 
 [[Documenter]]
 deps = ["Base64", "DocStringExtensions", "InteractiveUtils", "LibGit2", "Logging", "Markdown", "Pkg", "REPL", "Random", "Test", "Unicode"]
-git-tree-sha1 = "90850787fae5bddd99fd9927edd6b52e1a87e62f"
-repo-rev = "master"
-repo-url = "https://github.com/JuliaDocs/Documenter.jl.git"
+git-tree-sha1 = "9f2135e0e7ecb63f9c3ef73ea15a31d8cdb79bb7"
 uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-version = "0.19.6+"
+version = "0.20.0"
 
 [[InteractiveUtils]]
 deps = ["LinearAlgebra", "Markdown"]