diff options
Diffstat (limited to 'doc/manual/local.mk')
| -rw-r--r-- | doc/manual/local.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index a4df921b466a..4caef57783c0 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -9,6 +9,8 @@ XSLTPROC = $(xsltproc) --nonet $(xmlflags) \ --param contrib.inline.enabled 0 \ --stringparam generate.toc "book toc" +docbookxsl = http://docbook.sourceforge.net/release/xsl-ns/1.78.1/ + MANUAL_SRCS := $(call rwildcard, $(d), *.xml) @@ -24,7 +26,7 @@ $(d)/version.txt: $(d)/manual.is-valid: $(d)/manual.xmli $(trace-gen) $(XSLTPROC) --novalid --stringparam profile.condition manual \ $(docbookxsl)/profiling/profile.xsl $< 2> /dev/null | \ - $(xmllint) --nonet --noout --relaxng $(docbookrng)/docbook.rng - + $(xmllint) --nonet --noout --relaxng http://www.oasis-open.org/docbook/xml/5.0/rng/docbook.rng - @touch $@ clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid |