From f21afdb2ca8bc946d683df31b73db0f4a1472a8e Mon Sep 17 00:00:00 2001
From: Gerwin Klein <lsf@jflex.de>
Date: Sat, 7 Jan 2023 21:08:02 +1100
Subject: [PATCH] github javadoc: build jflex jar first

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f240c6eff..13bfb5868 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -109,6 +109,9 @@ jobs:
         java-version: 8
         distribution: zulu
         cache: maven
+    - name: '🔨 Build JFlex jar'
+      run: |
+        cd jflex; mvn -Pfastbuild package
     - name: '📝 Javadoc'
       run: |
         mvn javadoc:javadoc