From 87d07778fa30854145ccb510a0147cc483aa2c4e Mon Sep 17 00:00:00 2001
From: David Wheeler <hippysoyboy@gmail.com>
Date: Fri, 8 Dec 2023 14:04:41 +1100
Subject: [PATCH] Exclude the documentation module from test build, so we can
 test with JDK8

---
 .github/workflows/main.yml | 2 +-
 settings.gradle.kts        | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ec4dbb687..47c2a70c5 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -44,7 +44,7 @@ jobs:
           job-id: jdk${{ matrix.jdk }}-build-test
           properties: |
             postgresVersions=${{ matrix.pg }}
-          arguments: test -x checkstyleMain -x checkstyleTest
+          arguments: test -x checkstyleMain -x checkstyleTest -PskipDocs=true
 
   deploy:
     needs: [check, build]
diff --git a/settings.gradle.kts b/settings.gradle.kts
index ab314b3f0..b77d0aa57 100644
--- a/settings.gradle.kts
+++ b/settings.gradle.kts
@@ -9,4 +9,6 @@ include(":pgjdbc-ng")
 project(":pgjdbc-ng").projectDir = file("driver")
 
 include(":udt-gen")
-include(":documentation")
+if (!startParameter.projectProperties["skipDocs"].toBoolean()) {
+    include(":documentation")
+}