From 801f29190f4eb6433df29c8b62f0686a5f9454a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20de=20Courville?= <groupes.raphael@gmail.com>
Date: Wed, 11 Dec 2024 21:13:47 +0100
Subject: [PATCH] Add a step to include a .nojekyll file to ensure GitHub Pages
 correctly serves the Javadocs.

---
 .github/workflows/build-and-deploy-javadoc.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-and-deploy-javadoc.yml b/.github/workflows/build-and-deploy-javadoc.yml
index 949992e..8bc9add 100644
--- a/.github/workflows/build-and-deploy-javadoc.yml
+++ b/.github/workflows/build-and-deploy-javadoc.yml
@@ -79,6 +79,9 @@ jobs:
       run: |
         ant doc
 
+    - name: Add .nojekyll file
+      run: echo > processing4/build/javadoc/.nojekyll
+
     - name: Upload Javadocs artifact
       uses: actions/upload-pages-artifact@v3
       with: