ui: update resource loader

This commit is contained in:
undefined committed 2023-01-30 12:33:52 +08:00
1 parent 0726dba492
commit 258a677e4f
7 files changed
+34 -36

No files matched your search

+2 -2
View File
@@ -120,8 +120,8 @@ async function main() {
if (fs.existsSync('public/polyfill.js')) {
fs.copyFileSync('public/polyfill.js', `public/polyfill-${pkg.version}.js`);
}
if (fs.existsSync('public/default.theme.css')) {
fs.copyFileSync('public/default.theme.css', `public/default-${pkg.version}.theme.css`);
if (fs.existsSync('public/theme.css')) {
fs.copyFileSync('public/theme.css', `public/theme-${pkg.version}.css`);
}
if (argv.options.production) {
for (const f of ['echarts', 'graphviz', 'mermaid', 'mathjax']) {