From 024ba4b086b18b4928562cb0544f4e68285ff7e2 Mon Sep 17 00:00:00 2001
From: Phillip Ross <phillip.w.g.ross@gmail.com>
Date: Fri, 2 Aug 2024 16:53:35 -0400
Subject: [PATCH] remove javahome-env-javadoc maven profile

Signed-off-by: Phillip Ross <phillip.w.g.ross@gmail.com>
---
 pom.xml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/pom.xml b/pom.xml
index 8c06c77..81fa51f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -826,17 +826,6 @@
                 <javadoc.path>${java.home}/bin/javadoc.exe</javadoc.path>
             </properties>
         </profile>
-        <profile>
-            <id>javahome-env-javadoc</id>
-            <activation>
-                <property>
-                    <name>env.JAVA_HOME</name>
-                </property>
-            </activation>
-            <properties>
-                <javadoc.path>${env.JAVA_HOME}/bin/javadoc</javadoc.path>
-            </properties>
-        </profile>
         <profile>
             <id>check-versions</id>
             <build>