1 files changed, 4 insertions, 1 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py
index 1a6bd9e948..c4386133a6 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -397,8 +397,11 @@ def main():
         print(info.usage())
         sys.exit(0)
     if cmdargs.version != None:
+        version = info.version()
+        if version != '':
+            version = ' ' + version
         message = '''gnulib-tool (%s %s)%s\n%s\n%s\n\nWritten by %s.''' \
-            % (info.package(), info.date(), info.version(), info.copyright(),
+            % (info.package(), info.date(), version, info.copyright(),
                info.license(), info.authors())
         print(message)
         sys.exit(0)