civodul pushed a commit to tag 1.8
in repository guix.
commit 40e1203abcb99970e5305e0c5b1e134f50e86bf2
Author: darealshinji <[email protected]>
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
