[Pkg-virtualbox-commits] [virtualbox] 01/01: Use xmllint to validate user documentation during build

Gianfranco Costamagna locutusofborg-guest at moszumanska.debian.org
Fri Sep 11 14:25:18 UTC 2015


This is an automated email from the git hooks/post-receive script.

locutusofborg-guest pushed a commit to branch master
in repository virtualbox.

commit b3d9373289eab93f8ddf530549ee296003de8342
Author: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Date:   Fri Sep 11 16:24:57 2015 +0200

    Use xmllint to validate user documentation during build
---
 debian/LocalConfig.kmk | 1 +
 debian/changelog       | 8 ++++++++
 debian/control         | 1 +
 3 files changed, 10 insertions(+)

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 at 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,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-virtualbox/virtualbox.git



More information about the Pkg-virtualbox-commits mailing list