From 154fa29471bcdaa364479d3a75104d9b95e4b64a Mon Sep 17 00:00:00 2001 From: Sam Brannen Date: Tue, 14 Apr 2020 13:36:11 +0200 Subject: [PATCH] Upgrade to spring-doc-resources 0.2.1 See gh-24865 --- gradle/docs.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gradle/docs.gradle b/gradle/docs.gradle index 5b52aa3932c..43e7e02959d 100644 --- a/gradle/docs.gradle +++ b/gradle/docs.gradle @@ -110,7 +110,7 @@ dokka { } task downloadResources(type: Download) { - def version = "0.2.0.RELEASE" + def version = "0.2.1.RELEASE" src "https://repo.spring.io/release/io/spring/docresources/" + "spring-doc-resources/$version/spring-doc-resources-${version}.zip" dest project.file("$buildDir/docs/spring-doc-resources.zip") @@ -164,7 +164,7 @@ asciidoctor { sectnums: '', 'source-highlighter': 'highlight.js', highlightjsdir: 'js/highlight', - 'highlightjs-theme': 'github', + 'highlightjs-theme': 'github', // 'googlecode', stylesdir: 'css/', stylesheet: 'stylesheet.css', 'spring-version': project.version