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 /etc/gnu-store.mount.in | |
| parent | 3cd1a7ac51c73ce636c3c36b3f790829c8374e04 (diff) | |
| download | guix-0f7d0743edb0922988531ac5bbb04026c57492eb.tar 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 'etc/gnu-store.mount.in')
0 files changed, 0 insertions, 0 deletions