diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:29:32 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 22:52:34 +0200 |
commit | 9700a0d0a5670bc278b219847d0cd555f00314c2 (patch) | |
tree | bd10b8e1c17fa1696fc5d2111fcec2a154f79604 | |
parent | 5fe9233eb4c52b669342c74598d4480c2c20d8bf (diff) |
gnu: texlive-latex-amsfonts: Declare a source file-name.
* gnu/packages/tex.scm (texlive-latex-amsfonts)[source]: Declare a
source file-name.
-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 1fedd2cb4a..ef0abaf870 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -824,6 +824,7 @@ details can be found in the documentation.") (source (origin (method svn-fetch) (uri (texlive-ref "latex" "amsfonts")) + (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "0slzfv5h2m03b2xvm2sasznz4azh6rgi069z161dja3l8rln79hm")))) |