From 6f1f81c6023fb8050df1532f85320b279e6f7a12 Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@nps.edu>
Date: Sun, 17 Oct 2021 09:22:47 -0700
Subject: [PATCH] improved javadoc, include logo image

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 43eb951cf8..87984d7a6e 100644
--- a/build.xml
+++ b/build.xml
@@ -121,6 +121,7 @@
     <target name="javadoc.custom" description="Customized javadoc">
 
         <echo message="$javac.classpath=${javac.classpath}"/>
+        <copy file="images/OpenDisSurferDude.png" todir="${javadoc.dir}"/>
         <javadoc     destdir="${javadoc.dir}"
                      author="${javadoc.author}"
                      bottom="${javadoc.copyright}"
-- 
GitLab