diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-16 10:37:12 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-16 10:37:49 +0200 |
| commit | e3e9c191ed045234aa2929c12f6916eeb201744e (patch) | |
| tree | d26d35168d4d1e3e87d05228813c26befd72a423 /doc | |
| parent | 4fde0030d42068b347d7af58ed3b746c5ea2f877 (diff) | |
| download | patches-e3e9c191ed045234aa2929c12f6916eeb201744e.tar patches-e3e9c191ed045234aa2929c12f6916eeb201744e.tar.gz | |
doc: Add 'images' directory next to HTML pages.
* doc/build.scm (html-manual): Add images/ symlinks.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.scm | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm index a2f353a090..7ba9f57bc9 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -177,6 +177,9 @@ makeinfo OPTIONS." #:languages languages #:date date)) + (define images + (texinfo-manual-images source)) + (define build (with-imported-modules '((guix build utils)) #~(begin @@ -228,7 +231,15 @@ makeinfo OPTIONS." "" (string-append "." language)) ".html") - opts))) + opts) + + ;; Make sure images are available. + (symlink #$images + (string-append #$output "/" (normalize language) + "/images")) + (symlink #$images + (string-append #$output "/" (normalize language) + "/html_node/images")))) '#$languages)))) (computed-file (string-append manual "-html-manual") build)) |