diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:21:52 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:52:32 +0200 |
| commit | ac0529ddec796b970439d00f7a33070ff6bc7483 (patch) | |
| tree | 5e62c7382dea36fb52663c7aadbba89235c7860a /gnu/packages | |
| parent | ddc0bbc875aa46b3af449a020db4392fef03154e (diff) | |
gnu: texlive-generic-tex-ini-files: Declare a source file-name.
* gnu/packages/tex.scm (texlive-generic-tex-ini-files)[source]: Declare
a source file-name.
Diffstat (limited to 'gnu/packages')
| -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 a574b01209..ce73dcf448 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -356,6 +356,7 @@ bundle.") %texlive-tag "/Master/texmf-dist/" "/tex/generic/tex-ini-files")) (revision %texlive-revision))) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "1wh42n1lmzcvi3g6mm31nm3yd5ha5bl260xqc444jg1m9fdp3wz5")))) |