diff options
-rwxr-xr-x | misc/tools/versionize.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/misc/tools/versionize.py b/misc/tools/versionize.py index 304ba4242..8cc558de6 100755 --- a/misc/tools/versionize.py +++ b/misc/tools/versionize.py @@ -32,6 +32,6 @@ def updateHTMLFile(filename): f.write(s) -updateCSSFile(pjoin(BASEDIR, 'docs', 'inter.css')) -updateCSSFile(pjoin(BASEDIR, 'docs', 'inter-ui.css')) +# updateCSSFile(pjoin(BASEDIR, 'docs', 'inter.css')) +# updateCSSFile(pjoin(BASEDIR, 'docs', 'inter-ui.css')) updateHTMLFile(pjoin(BASEDIR, 'docs', '_includes', 'preload-font-files.html')) |