HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d0e216) | patch
doc: Build an empty index if the manual is missing.
authorLudovic Courtès <ludo@gnu.org>
Fri, 8 Apr 2022 21:58:24 +0000 (23:58 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 8 Apr 2022 21:59:48 +0000 (23:59 +0200)
commitb38e053513323fef52e57496ef2d7ed3f92d772e
treeb90feebf0a4339f9be1ef2f32bbaab655d22614dtree | snapshot (tar.gz zip)
parent0d0e2165ea80262b1044e6cebcc7ad820e59f872commit | diff
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.
doc/build.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/