remove assignment to unused variable

diff --git a/Doc/tools/getversioninfo b/Doc/tools/getversioninfo
index 9eb08d118398a8cb105cdab3cb27066925c94ea3..d22c16ddc04562c3e5275b98d3ad3e585b5f877f 100755 (executable)
--- 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"