gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

app-doc/dita-ot-bin: remove unused patch

Browse Source 
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger 2025-12-15 21:34:56 +01:00
parent 132a23e9db
commit ea3df0fa69
No known key found for this signature in database
GPG Key ID: 03B489CBE4B76101
1 changed files with 0 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
app-doc/dita-ot-bin/files/dita-ot-bin-4.2.3-set-java-home.patch
View File

@ -1,14 +0,0 @@
dita-ot requires java 17 or higher.
Set JAVA_HOME accordingly.
--- a/bin/dita
+++ b/bin/dita
@@ -20,6 +20,8 @@
# See the License for the specific language governing permissions and
# limitations under the License.
+JAVA_HOME=$(java-config-2 --select-vm $(depend-java-query --get-vm '>=virtual/jre:17') -g JAVA_HOME)
+
# Extract launch and ant arguments, (see details below).
ant_exec_args=
for arg in "$@" ; do