diff options
Diffstat (limited to 'misc/tools/versionize.py')
| -rwxr-xr-x | misc/tools/versionize.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/misc/tools/versionize.py b/misc/tools/versionize.py index 8cc558de6..3d67e259e 100755 --- a/misc/tools/versionize.py +++ b/misc/tools/versionize.py @@ -32,6 +32,9 @@ def updateHTMLFile(filename): f.write(s) +updateCSSFile(pjoin(BASEDIR, 'misc', 'dist', 'inter.css')) +updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html')) + +# Note: The website CSS file uses Jekyll variables to add ?v= so don't need this anymore. # updateCSSFile(pjoin(BASEDIR, 'docs', 'inter.css')) # updateCSSFile(pjoin(BASEDIR, 'docs', 'inter-ui.css')) -updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html')) |