xsl-style-dir.patch

   1 --- VirtualBox-7.0.10/doc/manual/Config.kmk.orig        2023-07-12 18:25:05.000000000 +0200
   2 +++ VirtualBox-7.0.10/doc/manual/Config.kmk     2023-09-06 16:49:17.062393789 +0200
   3 @@ -135,7 +135,7 @@
   4    VBOX_PATH_DOCBOOK_DTD   ?= $(KBUILD_DEVTOOLS)/common/docbook-xml/v4.5
   5   else
   6    # use docbook of the build host
   7 -  VBOX_PATH_DOCBOOK       ?= /usr/share/xml/docbook/stylesheet/docbook-xsl
   8 +  VBOX_PATH_DOCBOOK       ?= /usr/share/sgml/docbook/xsl-stylesheets
   9    VBOX_PATH_DOCBOOK_DTD   ?= /usr/share/xml/docbook/schema/dtd/4.5
  10   endif
  11   VBOX_XML_CATALOG         ?= $(VBOX_PATH_MANUAL_OUTBASE)/vbox-doc.cat