From 242cb1312cb153dd8fc4e5f6d88452157fa58b45 Mon Sep 17 00:00:00 2001
From: "Joshua A. Horton" <joshua_horton@sil.org>
Date: Mon, 24 Oct 2022 10:06:18 +0700
Subject: [PATCH] fix(developer): fixes developer-server's Web build call

---
 developer/src/server/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/developer/src/server/build.sh b/developer/src/server/build.sh
index ab31b34e1f..ed6406e076 100755
--- a/developer/src/server/build.sh
+++ b/developer/src/server/build.sh
@@ -123,8 +123,8 @@ fi
 # ----------------------------------------
 
 if (( build_keymanweb )); then
-  pushd "$KEYMAN_ROOT/web/source"
-  ./build.sh -no_minify
+  pushd "$KEYMAN_ROOT/web/"
+  ./build.sh --skip-minify
   popd
 fi