diff --git a/Doc/tools/getversioninfo b/Doc/tools/getversioninfo
index 9eb08d11839..d22c16ddc04 100755
--- a/Doc/tools/getversioninfo
+++ b/Doc/tools/getversioninfo
@@ -58,7 +58,6 @@ def write_file(name, text):
     f.close()
 
 patchlevel_tex = os.path.join(Doc, "commontex", "patchlevel.tex")
-Makefile_version = os.path.join(Doc, "Makefile.version")
 
 write_file(patchlevel_tex,
            "%% This file is generated by ../tools/getversioninfo;\n"