From cc55c2f6bbdf665dab20220a45ca461a995bc262 Mon Sep 17 00:00:00 2001
From: Geert Bevin <gbevin@uwyn.com>
Date: Tue, 4 Apr 2023 09:23:17 -0400
Subject: [PATCH] GitHub setup

---
 .github/workflows/pages.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index d9d2fd3..a5ca074 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -40,9 +40,6 @@ jobs:
           distribution: 'zulu'
           java-version: 19
 
-      - name: Grant execute permission for gradlew
-        run: chmod +x gradlew
-
       - name: Build Javadocs
         run: ./bld download clean javadoc