diff options
| -rw-r--r-- | gnu/packages/docbook.scm | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gnu/packages/docbook.scm b/gnu/packages/docbook.scm index dc2e3da445..3ec0377f57 100644 --- a/gnu/packages/docbook.scm +++ b/gnu/packages/docbook.scm @@ -94,6 +94,17 @@ by no means limited to these applications.) This package provides XML DTDs.") (base32 "0r1l2if1z4wm2v664sqdizm4gak6db1kx9y50jq89m3gxaa8l1i3")))))) +(define-public docbook-xml-4.2 + (package (inherit docbook-xml) + (version "4.2") + (source (origin + (method url-fetch) + (uri (string-append "http://www.docbook.org/xml/" version + "/docbook-xml-" version ".zip")) + (sha256 + (base32 + "18hgwvmywh6a5jh38szjmg3hg2r4v5lb6r3ydc3rd8cp9wg61i5c")))))) + (define-public docbook-xsl (package (name "docbook-xsl") |