diff options
Diffstat (limited to 'Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command')
-rw-r--r-- | Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command b/Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command index 758b3d010c7..065871932ee 100644 --- a/Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command +++ b/Build/source/texk/gregorio/gregorio-src/contrib/TeXShop/auto-configure.command @@ -29,6 +29,15 @@ else echo "Please try running the Gregorio intaller again" exit 1 fi +SOURCE="/Users/Shared/Gregorio/contrib/TeXShop/LuaTeX+se.engine" +if [ -e "$SOURCE" ]; then + echo "Copying LuaTeX+se.engine into TeXShop configuration" + cp "$SOURCE" "$ENGINEDIR" +else + echo "Cannot find LuaTeX+se.engine" + echo "Please try running the Gregorio intaller again" + exit 1 +fi echo "Configuration complete" exit 0 |