From 716f928e79d18b42309b6328ad568e3fe46e32c7 Mon Sep 17 00:00:00 2001 From: Brian Clozel Date: Mon, 23 Sep 2019 16:53:39 +0200 Subject: [PATCH] Upgrade to Spring Doc Resources 0.1.3.BUILD-SNAPSHOT See gh-23679 --- gradle/docs.gradle | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gradle/docs.gradle b/gradle/docs.gradle index 43fdc6249a..8594497f1f 100644 --- a/gradle/docs.gradle +++ b/gradle/docs.gradle @@ -80,8 +80,8 @@ dokka { } task downloadResources(type: Download) { - def version = "0.1.2.RELEASE" - src "https://repo.spring.io/release/io/spring/docresources/" + + def version = "0.1.3.BUILD-SNAPSHOT" + src "https://repo.spring.io/snapshot/io/spring/docresources/" + "spring-doc-resources/$version/spring-doc-resources-${version}.zip" dest project.file("$buildDir/docs/spring-doc-resources.zip") onlyIfModified true @@ -124,7 +124,7 @@ asciidoctor { 'sectnums': '', 'source-highlighter=highlight.js', 'highlightjsdir=js/highlight', - 'highlightjs-theme=atom-one-dark-reasonable', + 'highlightjs-theme=github', stylesdir: "css/", stylesheet: 'stylesheet.css', 'spring-version': project.version