diff options
author | Rasmus Andersson <rasmus@figma.com> | 2019-02-03 01:29:56 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@figma.com> | 2019-02-03 01:29:56 +0300 |
commit | 5a5be63d6e59d5c437b270a5522b370ba845bf39 (patch) | |
tree | 46a9027b80e26e5ac49a8dabac3f0867e200e9a2 /misc/tools | |
parent | a5cf88e6591bfc72b34d4c898d8d567f0032a80b (diff) | |
download | inter-5a5be63d6e59d5c437b270a5522b370ba845bf39.tar.xz |
The Great Rename to "Inter"
Diffstat (limited to 'misc/tools')
-rwxr-xr-x | misc/tools/versionize.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/misc/tools/versionize.py b/misc/tools/versionize.py index 6064294e6..304ba4242 100755 --- a/misc/tools/versionize.py +++ b/misc/tools/versionize.py @@ -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')) |