diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-04-08 23:58:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-04-08 23:59:48 +0200 |
| commit | b38e053513323fef52e57496ef2d7ed3f92d772e (patch) | |
| tree | b90feebf0a4339f9be1ef2f32bbaab655d22614d /THANKS | |
| parent | 0d0e2165ea80262b1044e6cebcc7ad820e59f872 (diff) | |
| download | guix-b38e053513323fef52e57496ef2d7ed3f92d772e.tar.gz | |
doc: Build an empty index if the manual is missing.
That way, the "sk" index for 'guix-manual' is empty, because 'guix-manual' lacks an "sk" translation. * doc/build.scm (html-manual-identifier-index)[build](html-files): Gracefully handle 'scandir' returning #f.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions