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) | |
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 1a48d97f9b6..431da7ff473 100644 --- a/gnu/packages/docbook.scm +++ b/gnu/packages/docbook.scm | |||
| @@ -50,8 +50,12 @@ | |||
| 50 | (dtd (string-append out "/xml/dtd/docbook"))) | 50 | (dtd (string-append out "/xml/dtd/docbook"))) |
| 51 | (mkdir-p dtd) | 51 | (mkdir-p dtd) |
| 52 | (with-directory-excursion dtd | 52 | (with-directory-excursion dtd |
| 53 | (system* unzip source)))) | 53 | (system* unzip source)) |
| 54 | #:modules ((guix build utils)))) | 54 | (substitute* (string-append out "/xml/dtd/docbook/catalog.xml") |
| 55 | (("uri=\"") | ||
| 56 | (string-append | ||
| 57 | "uri=\"file://" dtd "/"))))) | ||
| 58 | #:modules ((guix build utils)))) | ||
| 55 | (native-inputs `(("unzip" ,unzip))) | 59 | (native-inputs `(("unzip" ,unzip))) |
| 56 | (home-page "http://docbook.org") | 60 | (home-page "http://docbook.org") |
| 57 | (synopsis "DocBook XML DTDs for document authoring") | 61 | (synopsis "DocBook XML DTDs for document authoring") |
