diff options
| author | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2015-09-11 14:24:57 (GMT) |
|---|---|---|
| committer | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2015-09-11 14:24:57 (GMT) |
| commit | b3d9373289eab93f8ddf530549ee296003de8342 (patch) | |
| tree | 80e21fbd311c850116a24bb3baf489d2882514e0 | |
| parent | 08ddbb4d775c02faadb5a539e9b4485fee848273 (diff) | |
Use xmllint to validate user documentation during build
| -rw-r--r-- | debian/LocalConfig.kmk | 1 | ||||
| -rw-r--r-- | debian/changelog | 8 | ||||
| -rw-r--r-- | debian/control | 1 |
3 files changed, 10 insertions, 0 deletions
diff --git a/debian/LocalConfig.kmk b/debian/LocalConfig.kmk index 92d5be4..977ade1 100644 --- a/debian/LocalConfig.kmk +++ b/debian/LocalConfig.kmk @@ -12,3 +12,4 @@ VBOX_PATH_APP_PRIVATE := /usr/share/virtualbox VBOX_PATH_APP_DOCS = /usr/share/doc/virtualbox VBOX_WITH_VBOXBFE := VBOX_JAVA_HOME := /usr/lib/jvm/default-java +VBOX_PATH_DOCBOOK_DTD := /usr/share/xml/docbook/schema/dtd/4/ diff --git a/debian/changelog b/debian/changelog index b34038e..d215bfa 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +virtualbox (5.0.4-dfsg-3) UNRELEASED; urgency=medium + + * use empty VBOX_HAVE_XMLLINT to disable documentation building + when xmllint is found. (Closes: #798638) + - thanks a lot to Graham Inggs for the hint! + + -- Gianfranco Costamagna <locutusofborg@debian.org> Fri, 11 Sep 2015 12:53:53 +0200 + virtualbox (5.0.4-dfsg-2) unstable; urgency=medium * debian/patches/fix-build.patch: fix i386 build failure. diff --git a/debian/control b/debian/control index c6d8118..35eec69 100644 --- a/debian/control +++ b/debian/control @@ -45,6 +45,7 @@ Build-Depends: bzip2, libxi-dev, libxinerama-dev, libxml2-dev, + libxml2-utils, libxmu-dev, libxrandr-dev, libxrender-dev, |