diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-18 11:45:56 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-18 11:45:56 +0000 |
| commit | 51ad64cc0791f797c936d8d7b1cef0dec64c0ce3 (patch) | |
| tree | 2b416ed275b0d910c9d1acc298f96d97ad9db3c9 /doc/manual | |
| parent | df05a759e4b73058ade82b6008c405cc5c75b104 (diff) | |
* Use xmllint (>= 2.7.4) for RelaxNG validation instead of Jing.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile.am | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 8dbc196f7..55450c9a5 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -34,13 +34,9 @@ MANUAL_SRCS = manual.xml introduction.xml installation.xml \ conf-file.xml release-notes.xml \ style.css images +# Note: RelaxNG validation requires xmllint >= 2.7.4. manual.is-valid: $(MANUAL_SRCS) version.txt -# $(XMLLINT) --xinclude $< | $(XMLLINT) --noout --nonet --relaxng $(docbookrng)/docbook.rng - - if test "$(jing)" != "false"; then \ - $(XMLLINT) --xinclude $< | $(jing) $(docbookrng)/docbook.rng /dev/fd/0; \ - else \ - echo "Not validating."; \ - fi + $(XMLLINT) --noout --nonet --xinclude --noxincludenode --relaxng $(docbookrng)/docbook.rng $< touch $@ version.txt: |