diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
commit | 1a9a1f2768bac5defe4c2e39e5a9ccdee0e05d55 (patch) | |
tree | d3d0269ae4b2392edd5b547215fa527283c70725 /doc/manual/Makefile.am | |
parent | cc0505f033f9d7f55837dca7b3bb4fb3d2969afb (diff) |
* Convert to DocBook 5.
* Use Jing for RelaxNG validation, xmllint seems buggy.
Diffstat (limited to 'doc/manual/Makefile.am')
-rw-r--r-- | doc/manual/Makefile.am | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 079872f64431..e06fbf5cd323 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -1,7 +1,5 @@ -ENV = SGML_CATALOG_FILES=$(docbookcatalog) - -XMLLINT = $(ENV) $(xmllint) $(xmlflags) --catalogs -XSLTPROC = $(ENV) $(xsltproc) $(xmlflags) --catalogs \ +XMLLINT = $(xmllint) $(xmlflags) +XSLTPROC = $(xsltproc) $(xmlflags) \ --param section.autolabel 1 \ --param section.label.includes.component.label 1 \ --param html.stylesheet \'style.css\' \ @@ -24,7 +22,12 @@ MANUAL_SRCS = manual.xml introduction.xml installation.xml \ style.css images manual.is-valid: $(MANUAL_SRCS) version.txt - $(XMLLINT) --xinclude $< | $(XMLLINT) --noout --nonet --valid - +# $(XMLLINT) --xinclude $< | $(XMLLINT) --noout --nonet --relaxng $(docbookrng)/docbook.rng - + if test "$(jing)" != "false"; then \ + $(XMLLINT) --xinclude $< | $(jing) $(docbookrng)/docbook.rng /dev/stdin; \ + else \ + echo "Not validating."; \ + fi touch $@ version.txt: |