updates to distribution

This commit is contained in:
Rasmus Andersson 2019-10-22 12:34:20 -07:00
parent 0ba7c2b42f
commit ba71122abf
10 changed files with 136 additions and 116 deletions

View file

@ -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'))