From f3021415c8dd0ea10240c7dd7e41126d3e33519a Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 27 Nov 2020 17:07:20 +0100
Subject: [PATCH] Drop labextension3 folder

---
 packages/labextension/package.json | 2 +-
 setup.py                           | 6 +-----
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/packages/labextension/package.json b/packages/labextension/package.json
index 41191aa9..5ea2c163 100644
--- a/packages/labextension/package.json
+++ b/packages/labextension/package.json
@@ -107,7 +107,7 @@
         ]
       }
     },
-    "outputDir": "../../mamba_gator/labextension3"
+    "outputDir": "../../mamba_gator/labextension"
   },
   "publishConfig": {
     "access": "public"
diff --git a/setup.py b/setup.py
index 3733a9a1..b40c46d4 100644
--- a/setup.py
+++ b/setup.py
@@ -18,13 +18,9 @@
     exec(version.read())
 
 classic_folder = "mamba_gator/navigator"
-lab_folder = "mamba_gator/labextension"
-lab_path = "mamba_gator/labextension3"
+lab_path = "mamba_gator/labextension"
 labextension_path = os.path.join(HERE, "packages", "labextension")
 
-if not os.path.exists(lab_folder):
-    os.mkdir(lab_folder)
-
 # Representative files that should exist after a successful build
 jstargets = [
     os.path.join(labextension_path, "lib", "index.js"),