345/376: allow custom docbook paths/URLs, use a working URL for docbook.rng

[Ludovic Courtès]

civodul pushed a commit to tag 1.8
in repository guix.

commit 40e1203abcb99970e5305e0c5b1e134f50e86bf2
Author: darealshinji <address@hidden>
Date:   Thu Dec 11 00:07:50 2014 +0100

    allow custom docbook paths/URLs, use a working URL for docbook.rng
---
 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 4caef57..0f5bfcd 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