diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-05-04 12:43:53 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-05-04 13:09:00 +0200 |
commit | 916c6e5716bd14cb328f7dcce5405ba9100bb908 (patch) | |
tree | 9b52c5349129e7aa0a27edd9750a96e5fb2d1746 /gnu | |
parent | 25f04945d940841e4dfb38670d7d91e6153c75be (diff) |
profiles: 'texlive-font-maps' gracefully handles lack of texlive inputs.
Fixes <https://issues.guix.gnu.org/63043>.
* guix/profiles.scm (texlive-font-maps): Define 'texlive-inputs'.
[build]: Use it.
Return #f when TEXLIVE-INPUTS is empty.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions