gnu: texlive-tex-texinfo: Declare a source file-name.

* gnu/packages/tex.scm (texlive-tex-texinfo)[source]: Declare a source
file-name.
master
Efraim Flashner 2018-03-14 20:44:37 +02:00
parent 70a71d19c8
commit 88ae1921d8
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
1 changed files with 1 additions and 0 deletions

View File

@ -2507,6 +2507,7 @@ situations where longtable has problems.")
%texlive-tag "/Master/texmf-dist/"
"/tex/texinfo"))
(revision %texlive-revision)))
(file-name (string-append name "-" version "-checkout"))
(sha256
(base32
"09zj2w3lx0y6i2syfjjgizahf86z301dw8p37ln6syfhqhzqdz46"))))