diff options
-rw-r--r-- | docs/_data/fontinfo.json | 2 | ||||
-rwxr-xr-x | misc/tools/fontinfo.py | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/docs/_data/fontinfo.json b/docs/_data/fontinfo.json index 2a419bd9d..1ce326071 100644 --- a/docs/_data/fontinfo.json +++ b/docs/_data/fontinfo.json @@ -118,6 +118,6 @@ "underlinePosition": -464, "underlineThickness": 192 }, - "version": "Version" + "version": "3.4" } ] 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: |