From dfb4016133598443c85aa2ace29076aa1ebdb30a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Bl=C3=A4sing?= <mblaesing@doppel-helix.eu>
Date: Thu, 12 Dec 2024 22:49:16 +0100
Subject: [PATCH] Fix missing javadoc file resoures/fonts/dejavu.css

Closes: #1639
---
 build.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build.xml b/build.xml
index 4a23e76b2..8f5733a2c 100644
--- a/build.xml
+++ b/build.xml
@@ -1344,6 +1344,13 @@ cd ..
 
       <arg value="-notimestamp"/>
     </javadoc>
+    <!--
+    Create an empty resources/fonts/dejavu.css - the file is reference by default
+    javadoc output, yet not provided by it. People seem to be irritated by the
+    generated 404, so provide an empty file.
+    -->
+    <mkdir dir="${javadoc}/resources/fonts/" />
+    <echo file="${javadoc}/resources/fonts/dejavu.css">/* Intentionally left empty */</echo>
     <jar jarfile="${platform-javadoc-jar}" createUnicodeExtraFields="never" encoding="UTF-8">
       <fileset dir="${javadoc}" />
     </jar>