From 0b6404d0aec6fb1250884b82b9e77d4acf1cd9cd Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 28 Jun 2024 09:28:15 +0200
Subject: [PATCH] Prepared release 1.9.0

---
 dependencies.gradle        | 2 +-
 documentation/build.gradle | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/dependencies.gradle b/dependencies.gradle
index 9ca2d4672..32cc25cd6 100644
--- 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
index f4edb5984..8947f1f74 100644
--- 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) {