diff --git a/components/mjs/input/tex/extensions/dsfont/config.json b/components/mjs/input/tex/extensions/dsfont/config.json index 901d51e9c..81f6d8c64 100644 --- a/components/mjs/input/tex/extensions/dsfont/config.json +++ b/components/mjs/input/tex/extensions/dsfont/config.json @@ -1,8 +1,8 @@ { "build": { - "id": "[tex]//dsfont", - "component": "input/tex/extensions//dsfont", - "targets": ["input/tex//dsfont"] + "id": "[tex]/dsfont", + "component": "input/tex/extensions/dsfont", + "targets": ["input/tex/dsfont"] }, "webpack": { "name": "input/tex/extensions/dsfont",