commit:     fa605defe5e2aa575a2f47e2dc9985a2326a1c2e
Author:     Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 14 16:06:51 2024 +0000
Commit:     Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Sat Sep 14 16:06:51 2024 +0000
URL:        
https://gitweb.gentoo.org/proj/virtualbox-patches.git/commit/?id=fa605def

Add patch to use system dita-ot to build the docs

Signed-off-by: Viorel Munteanu <ceamac <AT> gentoo.org>

 .../028_virtualbox-7.1.0-use-system-dita-ot.patch  | 31 ++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/patches/028_virtualbox-7.1.0-use-system-dita-ot.patch 
b/patches/028_virtualbox-7.1.0-use-system-dita-ot.patch
new file mode 100644
index 0000000..e693543
--- /dev/null
+++ b/patches/028_virtualbox-7.1.0-use-system-dita-ot.patch
@@ -0,0 +1,31 @@
+Starting with branch 7.1, upstream use dita-ot to build the manual.
+
+They seem to use an unbundled copy.
+
+Patch the Makefile to use dita-ot installed in the system.
+
+--- a/doc/manual/Makefile.kmk
++++ b/doc/manual/Makefile.kmk
+@@ -135,21 +135,9 @@
+  # @param 2    Parameters for the invoker.
+  #
+  VBOX_DITA_RUN_DOST = $(REDIRECT_EXT) \
+-      -E 'ANT_HOME=$(VBOX_DITA_OT_PATH)' \
+-      -E 'DITA_DIR=$(VBOX_DITA_OT_PATH)' \
+-      -E 'JAVA_HOME=$(VBOX_JAVA17PLUS_HOME)' \
+-      -E 'CLASSPATH=$(VBOX_DITA_CLASSPATH)' \
+       $1 \
+       -- \
+-      "$(VBOX_JAVA17PLUS_HOME)/bin/java" \
+-      "-Djava.awt.headless=true" \
+-      "-Dsun.io.useCanonCaches=true" \
+-      "-Dant.home=$(VBOX_DITA_OT_PATH)" \
+-      "-Ddita.dir=$(VBOX_DITA_OT_PATH)" \
+-      org.apache.tools.ant.launch.Launcher \
+-      -cp "$(VBOX_DITA_CLASSPATH)" \
+-      -buildfile "$(VBOX_DITA_OT_PATH)/build.xml" \
+-      -main "org.dita.dost.invoker.Main" \
++      dita \
+       --args.grammar.cache=yes \
+       --verbose \
+       $(if-expr defined(VBOX_DITA_DEBUG),"--clean.temp=no" "--debug",) \

Reply via email to