gnu: docbook-xml: Substitute remote xml_catalog uris with local ones.
authorJohn Darrington <jmd@gnu.org>
Sun, 13 Jul 2014 15:08:55 +0000 (17:08 +0200)
committerJohn Darrington <jmd@gnu.org>
Wed, 16 Jul 2014 04:28:01 +0000 (06:28 +0200)
commita6639cf7f294e4ca53522666d644c64c53d46861
tree2ff4a7121f6ecf755a2f667221a2409e3d0257a0
parent1cac3de66076dea19cfe0d8027c9f3c61e2f0c2e
gnu: docbook-xml: Substitute remote xml_catalog uris with local ones.

* gnu/packages/docbook.scm: substitute remote uri with local ones.
gnu/packages/docbook.scm