diff options
| author | John Darrington <jmd@gnu.org> | 2014-07-13 17:08:55 +0200 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2014-07-16 06:28:01 +0200 |
| commit | a6639cf7f294e4ca53522666d644c64c53d46861 (patch) | |
| tree | 2ff4a7121f6ecf755a2f667221a2409e3d0257a0 /gnu | |
| parent | 1cac3de66076dea19cfe0d8027c9f3c61e2f0c2e (diff) | |
| download | patches-a6639cf7f294e4ca53522666d644c64c53d46861.tar patches-a6639cf7f294e4ca53522666d644c64c53d46861.tar.gz | |
gnu: docbook-xml: Substitute remote xml_catalog uris with local ones.
* gnu/packages/docbook.scm: substitute remote uri with local ones.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/docbook.scm | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gnu/packages/docbook.scm b/gnu/packages/docbook.scm index 1a48d97f9b..431da7ff47 100644 --- a/gnu/packages/docbook.scm +++ b/gnu/packages/docbook.scm @@ -50,8 +50,12 @@ (dtd (string-append out "/xml/dtd/docbook"))) (mkdir-p dtd) (with-directory-excursion dtd - (system* unzip source)))) - #:modules ((guix build utils)))) + (system* unzip source)) + (substitute* (string-append out "/xml/dtd/docbook/catalog.xml") + (("uri=\"") + (string-append + "uri=\"file://" dtd "/"))))) + #:modules ((guix build utils)))) (native-inputs `(("unzip" ,unzip))) (home-page "http://docbook.org") (synopsis "DocBook XML DTDs for document authoring") |