gnu: texlive-fonts-amsfonts: Declare a source file-name.

* gnu/packages/tex.scm (texlive-fonts-amsfonts)[source]: Declare a source file-name.
2018-03-13 22:27:54 +02:00 · 2018-03-13 22:27:54 +02:00 · 5fe9233eb4
parent a4550e7d66
commit 5fe9233eb4
1 changed files with 1 additions and 0 deletions
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@ -742,6 +742,7 @@ (define-public texlive-fonts-amsfonts
                                        %texlive-tag "/Master/texmf-dist/"
                                        "/fonts/source/public/amsfonts"))
                    (revision %texlive-revision)))
+              (file-name (string-append name "-" version "-checkout"))
              (sha256
               (base32
                "07h20rvpbdb4k72hzmjkyb29426zr9wxsfp6yd4ajbbpd3vx8grb"))))