diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21 16:05:11 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21 16:05:11 +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 079872f64..e06fbf5cd 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: |