diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-15 13:03:48 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-15 13:05:22 +0100 |
commit | 743497b5650713e082f4775a3b7dfd03babc8191 (patch) | |
tree | e3e16a02e9c31f63a2a679464668059b180d7a9c /gnu/packages/dav.scm | |
parent | c4153008f701d5cd335536adf711fa335f98141d (diff) | |
download | guix-patches-743497b5650713e082f4775a3b7dfd03babc8191.tar guix-patches-743497b5650713e082f4775a3b7dfd03babc8191.tar.gz |
guix: Add profile hook to build TeX live configuration.
* guix/profiles.scm (texlive-configuration): New procedure.
(%default-profile-hooks): Add it.
* guix/status.scm (hook-message): Handle "texlive-configuration" hook type.
Diffstat (limited to 'gnu/packages/dav.scm')
0 files changed, 0 insertions, 0 deletions