From 10ff701aa1b81dc14165d1acd509a7cd6f191dbc Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Thu, 1 Sep 2022 09:43:44 +0100 Subject: [PATCH] Check for existence of modules/source-editor (#9426) GitOrigin-RevId: 7cc72ccdf711c1bd982620af25236e2289dca494 --- services/web/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/services/web/package.json b/services/web/package.json index 11e81ba31b..d338b0b6fe 100644 --- a/services/web/package.json +++ b/services/web/package.json @@ -34,7 +34,7 @@ "convert-themes": "node modules/source-editor/frontend/js/themes/convert.js", "cypress:open-ct": "SHARELATEX_CONFIG=$PWD/config/settings.webpack.js cypress open --component", "cypress:run-ct": "SHARELATEX_CONFIG=$PWD/config/settings.webpack.js cypress run --component", - "lezer-latex:generate": "node modules/source-editor/scripts/lezer-latex/generate.js", + "lezer-latex:generate": "if [ ! -d $(pwd)/modules/source-editor ]; then echo \"'source-editor' module is not available\"; exit 0; fi; node modules/source-editor/scripts/lezer-latex/generate.js", "lezer-latex:run": "node modules/source-editor/scripts/lezer-latex/run.mjs", "routes": "bin/routes", "routes": "bin/routes",