Prepared release 1.9.0

jqwik-team · Jun 28, 2024 · 0b6404d · 0b6404d
1 parent a5c6e1e
commit 0b6404d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/dependencies.gradle b/dependencies.gradle
@@ -46,7 +46,7 @@ ext {
 	kotestVersion = '5.9.1'
 	jspecifyVersion = '0.3.0'
 	moduleName = 'net.jqwik'
-	jqwikVersion = '1.9.0-SNAPSHOT'
+	jqwikVersion = '1.9.0'
 	isSnapshotRelease = isSnapshotRelease(jqwikVersion)
 	showStandardStreams = showStandardStreams()
 	javaTargetVersion = javaTargetVersion()

diff --git a/documentation/build.gradle b/documentation/build.gradle
@@ -80,7 +80,9 @@ task generateUserGuideToc(type: Exec) {
 
 	workingDir "$buildDir/docs"
 
-	commandLine 'doctoc', '--maxlevel', '4', 'user-guide.md'
+	// For some strange reason just using 'doctoc' does no longer work with Gradle 8.7
+	executable "which doctoc".execute().text.trim()
+	args '--maxlevel', '4', 'user-guide.md'
 }
 
 task generateJavaDoc(type: Javadoc) {