diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 20:53:50 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-14 21:16:52 +0200 |
| commit | ca816eb3caa96a6cd4493c0a17a2881113b5844c (patch) | |
| tree | bc0166ddd26e4035076b29bd23f3996059d5a552 /gnu/packages/tex.scm | |
| parent | aa499191b8e6672c6e45f3f6a9ab94712448940a (diff) | |
gnu: texlive-fonts-ec: Declare a source file-name.
* gnu/packages/tex.scm (texlive-fonts-ec)[source]: Declare a source
file-name.
Diffstat (limited to 'gnu/packages/tex.scm')
| -rw-r--r-- | gnu/packages/tex.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 035c47a8bc..8bb172aedc 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -2885,6 +2885,7 @@ in SGML; use maths minus in text as appropriate; simple Young tableaux.") %texlive-tag "/Master/texmf-dist/" "/fonts/source/jknappen/ec/")) (revision %texlive-revision))) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "12av65fbz9xiashm09c9m1fj1mijxls5xspd7652ry1n5s0nixy4")))) |