diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index e9fd3c0d6..7bd7986f6 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -28,7 +28,6 @@ subdir = Doc dir_top = .. @VERSION_MK@ -VERSION = @VERSION@ # source/build directories VPATH = @srcdir@ |