From 75ba26794c8ea77ff4592009c400d5760d1a9d6c Mon Sep 17 00:00:00 2001
From: Benoit Lavenier <benoit.lavenier@e-is.pro>
Date: Mon, 4 May 2020 14:40:54 +0200
Subject: [PATCH] [fix] Fix doc to build web extension
---
doc/build_web_extension.md | 2 +-
gulpfile.js | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc/build_web_extension.md b/doc/build_web_extension.md
index 79b931698..f1f62b6e2 100644
--- a/doc/build_web_extension.md
+++ b/doc/build_web_extension.md
@@ -16,7 +16,7 @@ After that you should be able to start the application using `npm start`or `yarn
- To create a uncompressed extension, use :
```bash
cd cesium
- gulp webExtensionCopyFiles --release
+ gulp webExtCompile --release
```
The uncompressed web extension will be visible `dist/web/ext`
diff --git a/gulpfile.js b/gulpfile.js
index 31d77dade..24a9f0a96 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -812,6 +812,7 @@ exports.build = build;
exports.webBuild = webBuild;
exports['build:web'] = exports.webBuild; // Alias
+exports.webExtCompile = webExtCompile;
exports.webExtBuild = webExtBuild;
exports['build:webExt'] = exports.webBuild; // Alias
--
GitLab