diff options
author | Sven Herzberg <herzi@gnome-de.org> | 2007-12-21 18:43:43 +0000 |
---|---|---|
committer | Sven Herzberg <herzi@src.gnome.org> | 2007-12-21 18:43:43 +0000 |
commit | 6480157f8a9b4ad67a96f08345b2409443840268 (patch) | |
tree | 2c1a481793b05ca38f90b2e1ef3f46d9e66b5712 /tools | |
parent | 4da0c5485bbbe3429ef1f047bd20faa1a283dcc4 (diff) | |
download | gnome-doc-utils-6480157f8a9b4ad67a96f08345b2409443840268.tar.gz |
reviewed by: Shaun McCance
2007-12-21 Sven Herzberg <herzi@gnome-de.org>
reviewed by: Shaun McCance
* tools/gnome-doc-utils.make: pass --xinclude to xmllint in the 'make
check' rule
svn path=/trunk/; revision=1069
Diffstat (limited to 'tools')
-rw-r--r-- | tools/gnome-doc-utils.make | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gnome-doc-utils.make b/tools/gnome-doc-utils.make index 5eb2ee4..147ab77 100644 --- a/tools/gnome-doc-utils.make +++ b/tools/gnome-doc-utils.make @@ -471,8 +471,8 @@ check-doc-docs: $(_DOC_C_DOCS) $(_DOC_LC_DOCS) check-doc-omf: $(_DOC_OMF_ALL) @list='$(_DOC_OMF_ALL)'; for omf in $$list; do \ - echo "xmllint --noout --dtdvalid 'http://scrollkeeper.sourceforge.net/dtds/scrollkeeper-omf-1.0/scrollkeeper-omf.dtd' $$omf"; \ - xmllint --noout --dtdvalid 'http://scrollkeeper.sourceforge.net/dtds/scrollkeeper-omf-1.0/scrollkeeper-omf.dtd' $$omf; \ + echo "xmllint --noout --xinclude --dtdvalid 'http://scrollkeeper.sourceforge.net/dtds/scrollkeeper-omf-1.0/scrollkeeper-omf.dtd' $$omf"; \ + xmllint --noout --xinclude --dtdvalid 'http://scrollkeeper.sourceforge.net/dtds/scrollkeeper-omf-1.0/scrollkeeper-omf.dtd' $$omf; \ done |