diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-03-01 23:51:12 -0500 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-03-02 00:00:55 -0500 |
commit | deaa322963bc06b820e82d5945e6c496ac6bedf1 (patch) | |
tree | 47ea9a580f90981482ee6fa60ef1e2366dbe94e8 /gnu | |
parent | cda78ec8ac30670c5394f55f92d4a67c286b2575 (diff) |
guix: Index the man-db database via man pages names.
Fixes <https://issues.guix.gnu.org/38838>.
* guix/man-db.scm (write-mandb-database): Use the abbreviated base name of the
man page as the key, not its full file name.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions