remove assignment to unused variable
diff --git a/Doc/tools/getversioninfo b/Doc/tools/getversioninfo
index 9eb08d1..d22c16d 100755
--- a/Doc/tools/getversioninfo
+++ b/Doc/tools/getversioninfo
@@ -58,7 +58,6 @@
     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"