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 /guix/status.scm | |
| parent | c4153008f701d5cd335536adf711fa335f98141d (diff) | |
| download | guix-743497b5650713e082f4775a3b7dfd03babc8191.tar guix-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 'guix/status.scm')
| -rw-r--r-- | guix/status.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/guix/status.scm b/guix/status.scm index 478c475f8c..67bb9e338e 100644 --- a/guix/status.scm +++ b/guix/status.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> -;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2018, 2019 Ricardo Wurmus <rekado@elephly.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -318,6 +318,8 @@ on." (G_ "building XDG MIME database...")) ('fonts-dir (G_ "building fonts directory...")) + ('texlive-configuration + (G_ "building TeX Live configuration...")) ('manual-database (G_ "building database for manual pages...")) (_ #f))) |