diff options
| author | Peter Eisentraut <petere@debian.org> | 2013-11-02 17:04:58 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-11-05 22:35:22 -0400 |
| commit | f0fb1db1f524d51503ebc757828c7d2f3874cebf (patch) | |
| tree | 5c2f356121d61c33e18ca9225ba8ee0ba90b755d | |
| parent | aba6afa8e508f78c02ed50691d01eb8837046592 (diff) | |
Run xmllint as part of DocBook build
This will verify that the DocBook markup is valid before building
anything from it. The actual build tools don't do that and might
produce garbage if the markup is not valid.
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | debian/control | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -24,6 +24,7 @@ check: isutf8 ./check-isutf8 %.1: %.docbook + xmllint --noout --valid $< $(DOCBOOK2XMAN) $< errno.o: errnos.h diff --git a/debian/control b/debian/control index aa5f025..bf34038 100644 --- a/debian/control +++ b/debian/control @@ -1,7 +1,7 @@ Source: moreutils Section: utils Priority: optional -Build-Depends: debhelper (>= 7), dpkg-dev (>= 1.9.0), docbook2x, docbook-xml +Build-Depends: debhelper (>= 7), dpkg-dev (>= 1.9.0), docbook2x, docbook-xml, libxml2-utils Maintainer: Joey Hess <joeyh@debian.org> Standards-Version: 3.9.2 Vcs-Git: git://git.kitenet.net/moreutils |