diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 1 |
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@ |