diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 39f1ddeee1..8e0d46c404 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -2507,6 +2507,7 @@ (define-public texlive-tex-texinfo
                                         %texlive-tag "/Master/texmf-dist/"
                                         "/tex/texinfo"))
                     (revision %texlive-revision)))
+              (file-name (string-append name "-" version "-checkout"))
               (sha256
                (base32
                 "09zj2w3lx0y6i2syfjjgizahf86z301dw8p37ln6syfhqhzqdz46"))))