1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index 7bd7986f6..e9fd3c0d6 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -28,6 +28,7 @@ subdir = Doc
 dir_top = ..
 
 @VERSION_MK@
+VERSION = @VERSION@
 
 # source/build directories
 VPATH           = @srcdir@