diff options
author | darealshinji <djcj@gmx.de> | 2014-12-10T23·07+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-12-11T09·43+0100 |
commit | 40e1203abcb99970e5305e0c5b1e134f50e86bf2 (patch) | |
tree | 485b24ec97d6cb66ff5982dd4dd810b1bf3d62e3 /doc | |
parent | 6f8ff8564f0077f9796d9376d91423ccb8ef75bb (diff) |
allow custom docbook paths/URLs, use a working URL for docbook.rng
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual/local.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 4caef57783c0..0f5bfcdad24a 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -9,7 +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/ +docbookxsl ?= http://docbook.sourceforge.net/release/xsl-ns/1.78.1 +docbookrng ?= http://docbook.org/xml/5.0/rng/docbook.rng MANUAL_SRCS := $(call rwildcard, $(d), *.xml) @@ -26,7 +27,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 http://www.oasis-open.org/docbook/xml/5.0/rng/docbook.rng - + $(xmllint) --nonet --noout --relaxng $(docbookrng) - @touch $@ clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid |