diff options
| -rwxr-xr-x | Doc/tools/getversioninfo | 1 |
1 files changed, 0 insertions, 1 deletions
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 @@ 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" |