diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-16 22:51:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-17 22:40:17 +0200 |
| commit | 0f7d0743edb0922988531ac5bbb04026c57492eb (patch) | |
| tree | c6a1d9767de578777da92931ecced1936ae8c3b9 /bootstrap | |
| parent | 3cd1a7ac51c73ce636c3c36b3f790829c8374e04 (diff) | |
| download | guix-0f7d0743edb0922988531ac5bbb04026c57492eb.tar.gz | |
doc: Move manual index creation to a separate derivation.
* doc/build.scm (normalize-language-code, html-manual-identifier-index): New procedures. (syntax-highlighted-html): Add #:mono-node-indexes and #:split-node-indexes. [build](underscore-decode, anchor-id->key, collect-anchors): Remove. (language+node-anchors, mono-node-anchors, multi-node-anchors): New variables. Use them.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions