archive/inter-font
Archived
0
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rename family from "Interface" to "Inter UI"

Browse source
This commit is contained in:
Rasmus Andersson 2017-09-18 15:58:34 -07:00
parent a213c92c25
commit 4fdb4c927e
4471 changed files with 231 additions and 250 deletions
Download patch file Download diff file Expand all files Collapse all files

4
misc/versionize-css.py
View file

@ -1,7 +1,7 @@
#!/usr/bin/env python
# encoding: utf8
#
# Updates the "?v=x" in docs/interface.css
# Updates the "?v=x" in docs/inter-ui.css
#
from __future__ import print_function
import os, sys, re
@ -18,7 +18,7 @@ def main():
regex = re.compile(r'(url\("[^"]+?v=)([^"]+)("\))')
cssFileName = os.path.join(rootDir, 'docs', 'interface.css')
cssFileName = os.path.join(rootDir, 'docs', 'inter-ui.css')
s = ''
with open(cssFileName, 'r') as f: