remove javahome-env-javadoc maven profile (#138)

Signed-off-by: Phillip Ross <phillip.w.g.ross@gmail.com>
postgis · Aug 2, 2024 · da61020 · da61020
1 parent d9c0c68
commit da61020
Showing 1 changed file with 0 additions and 11 deletions.
diff --git 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>