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

The Great Rename to "Inter"

Browse source
This commit is contained in:
Rasmus Andersson 2019-02-02 14:29:56 -08:00
parent a5cf88e659
commit 5a5be63d6e
144 changed files with 162832 additions and 158923 deletions
Download patch file Download diff file Expand all files Collapse all files

6
misc/tools/versionize.py
View file

@ -1,7 +1,10 @@
#!/usr/bin/env python
# encoding: utf8
#
# Updates the "?v=x" in docs/inter-ui.css
# Updates the "?v=x" in files:
# - docs/inter.css
# - docs/inter-ui.css
# - docs/_includes/preload-font-files.html
#
import os, sys, re
from os.path import dirname, basename, abspath, relpath, join as pjoin
@ -29,5 +32,6 @@ def updateHTMLFile(filename):
f.write(s)
updateCSSFile(pjoin(BASEDIR, 'docs', 'inter.css'))
updateCSSFile(pjoin(BASEDIR, 'docs', 'inter-ui.css'))
updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html'))