diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-11-06 16:32:32 +0100 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-11-06 16:32:32 +0100 |
| commit | ddf2ddf06be7d2c45afdc4f411438e77020dd198 (patch) | |
| tree | 7f420052b28566d9f651312419df217ef5fdf7ba | |
| parent | 1b9489fad93f64bb4023ea91fcbd5500e4803b3c (diff) | |
Package: don’t require the full texlive.
| -rw-r--r-- | ci.scm | 3 | ||||
| -rw-r--r-- | guix/vkraus/packages/disfluid.scm | 3 |
2 files changed, 4 insertions, 2 deletions
@@ -99,7 +99,8 @@ (inherit dist-without-maintainer) (native-inputs (cons* `("indent" ,indent) - `("texlive" ,texlive) + `("texlive" + ,(texlive-union (list texlive-tex-texinfo))) (package-native-inputs dist-without-maintainer)))) "/" tar-name)) (destination #$output)) diff --git a/guix/vkraus/packages/disfluid.scm b/guix/vkraus/packages/disfluid.scm index c2c2c4c..8c6d0bd 100644 --- a/guix/vkraus/packages/disfluid.scm +++ b/guix/vkraus/packages/disfluid.scm @@ -251,7 +251,8 @@ (assoc-ref outputs "out") "/share/doc/disfluid/disfluid.html/complete-corresponding-source.tar.gz")))))))) (native-inputs - `(("texlive" ,texlive) + `(("texlive" + ,(texlive-union (list texlive-tex-texinfo))) ,@(package-native-inputs disfluid))) (synopsis "HTML documentation for Disfluid") (description "The manual for disfluid is provided as a texinfo |