From d952da954036df406ffb17871123436b19ad9d50 Mon Sep 17 00:00:00 2001
From: Tamas Cservenak <tamas@cservenak.net>
Date: Fri, 26 Jan 2024 15:11:04 +0100
Subject: [PATCH] Add workaround for
 https://github.com/mojohaus/exec-maven-plugin/issues/401

---
 docs/pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/pom.xml b/docs/pom.xml
index 48506144f5543..8348906a25d71 100644
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -101,7 +101,8 @@
                         </goals>
                         <phase>validate</phase>
                         <configuration>
-                            <executable>diff</executable>
+                            <!-- Hack: workaround for https://github.com/mojohaus/exec-maven-plugin/issues/401 -->
+                            <executable>/usr/bin/diff</executable>
                             <arguments>
                                 <argument>-b</argument>
                                 <argument>-c</argument>