Check for existence of modules/source-editor (#9426)

GitOrigin-RevId: 7cc72ccdf711c1bd982620af25236e2289dca494
This commit is contained in:
Alf Eaton 2022-09-01 09:43:44 +01:00 committed by Copybot
parent 127e8fe2b0
commit 10ff701aa1

View file

@ -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",