diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 12:33:07 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 12:53:32 +0200 |
| commit | 0c04bdb948717775f6143f5b0e93fcc5c41b169b (patch) | |
| tree | e038ba82b421587cda4917b29646fc1c29a66392 /gnu/packages/patches/python-CVE-2018-14647.patch | |
| parent | 4e67f2048839c17e7d09f6c1775473018c8815c6 (diff) | |
| download | guix-0c04bdb948717775f6143f5b0e93fcc5c41b169b.tar.gz | |
doc: Build a top-level index of the manuals.
Suggested by Julien Lepiller. * doc/build.scm (html-manual-indexes)[build]: Add 'with-extensions'. (translate): Actually honor DOMAIN. Add call to 'bindtextdomain' for ISO-CODES. (%iso639-languages): New variable. (language-code->name, top-level-index): New procedures. Add call to 'write-html' for OUTPUT/index.html.
Diffstat (limited to 'gnu/packages/patches/python-CVE-2018-14647.patch')
0 files changed, 0 insertions, 0 deletions