about summary refs log tree commit diff
diff options
context:
space:
mode:
authordarealshinji <djcj@gmx.de>2014-12-10T23·07+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-11T09·43+0100
commit40e1203abcb99970e5305e0c5b1e134f50e86bf2 (patch)
tree485b24ec97d6cb66ff5982dd4dd810b1bf3d62e3
parent6f8ff8564f0077f9796d9376d91423ccb8ef75bb (diff)
allow custom docbook paths/URLs, use a working URL for docbook.rng
-rw-r--r--doc/manual/local.mk5
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