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
4 VBOX_PATH_DOCBOOK_DTD ?= $(KBUILD_DEVTOOLS)/common/docbook-xml/v4.5
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
11 VBOX_XML_CATALOG ?= $(VBOX_PATH_MANUAL_OUTBASE)/vbox-doc.cat