commit: ea3df0fa694328c35e878efd92118e46ed622cc7 Author: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> AuthorDate: Mon Dec 15 20:34:56 2025 +0000 Commit: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> CommitDate: Mon Dec 15 20:36:03 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea3df0fa
app-doc/dita-ot-bin: remove unused patch Signed-off-by: Michael Mair-Keimberger <mm1ke <AT> gentoo.org> .../files/dita-ot-bin-4.2.3-set-java-home.patch | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/app-doc/dita-ot-bin/files/dita-ot-bin-4.2.3-set-java-home.patch b/app-doc/dita-ot-bin/files/dita-ot-bin-4.2.3-set-java-home.patch deleted file mode 100644 index a99cec999bf7..000000000000 --- a/app-doc/dita-ot-bin/files/dita-ot-bin-4.2.3-set-java-home.patch +++ /dev/null @@ -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
