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/webkit.scm | |
| parent | c4153008f701d5cd335536adf711fa335f98141d (diff) | |
| download | patches-743497b5650713e082f4775a3b7dfd03babc8191.tar 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/webkit.scm')
0 files changed, 0 insertions, 0 deletions