From 16a650baf5f47776e4f98bc47e6ca1dff18fda51 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sun, 10 Mar 2024 10:46:37 -0400 Subject: [PATCH 1/2] Fix dsfont name in dependencies, and add new fonts to sources --- components/mjs/dependencies.js | 2 +- components/mjs/source.js | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/components/mjs/dependencies.js b/components/mjs/dependencies.js index 4a9ca333b..c0b9d30a4 100644 --- a/components/mjs/dependencies.js +++ b/components/mjs/dependencies.js @@ -37,7 +37,7 @@ export const dependencies = { '[tex]/colorv2': ['input/tex-base'], '[tex]/colortbl': ['input/tex-base', '[tex]/color'], '[tex]/configmacros': ['input/tex-base', '[tex]/newcommand'], - '[tex]/dsfonts': ['input/tex/tex-base'], + '[tex]/dsfont': ['input/tex/tex-base'], '[tex]/enclose': ['input/tex-base'], '[tex]/extpfeil': ['input/tex-base', '[tex]/newcommand', '[tex]/ams'], '[tex]/html': ['input/tex-base'], diff --git a/components/mjs/source.js b/components/mjs/source.js index 37d5a3679..497849166 100644 --- a/components/mjs/source.js +++ b/components/mjs/source.js @@ -28,6 +28,8 @@ export const source = { '[tex]/autoload': `${src}/input/tex/extensions/autoload/autoload.js`, '[tex]/ams': `${src}/input/tex/extensions/ams/ams.js`, '[tex]/amscd': `${src}/input/tex/extensions/amscd/amscd.js`, + '[tex]/bbm': `${src}/input/tex/extensions/bbm/bbm.js`, + '[tex]/bboldx': `${src}/input/tex/extensions/bboldx/bboldx.js`, '[tex]/bbox': `${src}/input/tex/extensions/bbox/bbox.js`, '[tex]/boldsymbol': `${src}/input/tex/extensions/boldsymbol/boldsymbol.js`, '[tex]/braket': `${src}/input/tex/extensions/braket/braket.js`, @@ -37,6 +39,7 @@ export const source = { '[tex]/color': `${src}/input/tex/extensions/color/color.js`, '[tex]/colorv2': `${src}/input/tex/extensions/colorv2/colorv2.js`, '[tex]/configmacros': `${src}/input/tex/extensions/configmacros/configmacros.js`, + '[tex]/dsfont': `${src}/input/tex/extensions/dsfont/dsfont.js`, '[tex]/enclose': `${src}/input/tex/extensions/enclose/enclose.js`, '[tex]/extpfeil': `${src}/input/tex/extensions/extpfeil/extpfeil.js`, '[tex]/html': `${src}/input/tex/extensions/html/html.js`, From 2f78a393c1c594f0b2a988983f410f9d6a995a27 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 11 Mar 2024 11:01:23 -0400 Subject: [PATCH 2/2] Fix incorrect dependency for dsfont --- components/mjs/dependencies.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/mjs/dependencies.js b/components/mjs/dependencies.js index c0b9d30a4..fe88d3cde 100644 --- a/components/mjs/dependencies.js +++ b/components/mjs/dependencies.js @@ -37,7 +37,7 @@ export const dependencies = { '[tex]/colorv2': ['input/tex-base'], '[tex]/colortbl': ['input/tex-base', '[tex]/color'], '[tex]/configmacros': ['input/tex-base', '[tex]/newcommand'], - '[tex]/dsfont': ['input/tex/tex-base'], + '[tex]/dsfont': ['input/tex-base'], '[tex]/enclose': ['input/tex-base'], '[tex]/extpfeil': ['input/tex-base', '[tex]/newcommand', '[tex]/ams'], '[tex]/html': ['input/tex-base'],