From e907c79bae7b79a25bbdecc912b674480ccbf00a Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Wed, 30 Jul 2025 16:06:59 +0200
Subject: [PATCH] [server-ce] work around npm bug for uninstalling
 devDependencies (#27512)

Co-authored-by: Brian Gough <brian.gough@overleaf.com>
GitOrigin-RevId: da4c878ae4515672aa67ea77d2d54a08a149e49b
---
 server-ce/genScript.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server-ce/genScript.js b/server-ce/genScript.js
index c433f3a60a..9f276e5d23 100644
--- a/server-ce/genScript.js
+++ b/server-ce/genScript.js
@@ -24,7 +24,7 @@ switch (process.argv.pop()) {
           // run webpack
           console.log('npm run webpack:production')
           // uninstall webpack and frontend dependencies
-          console.log('npm install --omit=dev')
+          console.log('npm prune --omit=dev')
 
           // Wait for pug precompile to finish
           console.log('wait "$pug_precompile"')