]>
Commit | Line | Data |
---|---|---|
ef335418 JR |
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 |