Bump Documenter and DocStringExtensions (#25617)

To fix the deprecation warnings and timeouts due to the documentation build.
JuliaLang · Jan 18, 2018 · a4cd91a · a4cd91a
1 parent 44c0356
commit a4cd91a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/REQUIRE b/doc/REQUIRE
@@ -1,3 +1,3 @@
-Compat 0.39.0 0.39.0+
-DocStringExtensions 0.4.1 0.4.1+
-Documenter 0.12.4 0.12.4+
+Compat 0.46.0 0.46.0+
+DocStringExtensions 0.4.2 0.4.2+
+Documenter 0.13.0 0.13.0+