diff options
Diffstat (limited to 'misc/tools')
-rwxr-xr-x | misc/tools/fontinfo.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/tools/fontinfo.py b/misc/tools/fontinfo.py index 76088ad3f..eef3d7a58 100755 --- a/misc/tools/fontinfo.py +++ b/misc/tools/fontinfo.py @@ -298,6 +298,9 @@ def genFontInfo(fontpath, outputType, withGlyphs=True): v = re.split(r'[\s;]+', version) if v and len(v) > 0: version = v[0] + if version.lower() == 'version': + version = v[1] + version = '.'.join([str(int(v)) for v in version.split('.')]) info['version'] = version if outputType is not OUTPUT_TYPE_GLYPHLIST: |