diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:24:52 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:52:33 +0200 |
| commit | b8e213cb2f0c388f7ce41be48409ec28a5adf763 (patch) | |
| tree | eea54f8b234dad6955beb15e371334b919160d36 | |
| parent | 1dec413ae0c731c23ec9286e56c711af7f9a4e5b (diff) | |
gnu: texlive-fontname: Fix source file-name.
* gnu/packages/tex.scm (texlive-fontname)[source]: Correct source
file-name.
| -rw-r--r-- | gnu/packages/tex.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index e743143be9..bc0dc6c71b 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -500,7 +500,7 @@ build fonts using the Metafont system.") %texlive-tag "/Master/texmf-dist/" "/fonts/map/fontname")) (revision %texlive-revision))) - (file-name (string-append name "-" version ".tar.gz")) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "0cssbzcx15221dynp5sii72qh4l18mwkr14n8w1xb19j8pbaqasz")))) |