diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 11:51:43 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 12:48:49 +0200 |
commit | 21bec78357ff5b93a14107bbeb5798923162f4b8 (patch) | |
tree | 94d40512e5f8391b728a1c7ba68cd840dee9586f /build-aux/compile-as-derivation.scm | |
parent | cb45aad9b06ebc2b8f8b9f8786007d746f7d2ee1 (diff) | |
download | guix-patches-21bec78357ff5b93a14107bbeb5798923162f4b8.tar guix-patches-21bec78357ff5b93a14107bbeb5798923162f4b8.tar.gz |
doc: Generalize build procedures of HTML indexes.
* doc/build.scm (html-manual-indexes)[build](sxml-index): Generalize;
add a 'title' and a 'body' parameter and honor them.
(language-index): New procedure.
(write-index): Remove.
(write-html): New procedure.
Use 'write-html' and 'language-index'.
Diffstat (limited to 'build-aux/compile-as-derivation.scm')
0 files changed, 0 insertions, 0 deletions