Merge pull request #128 from OGSteam/bugfix/htmlpagedev

Fix #127

Author: satepestage

gulpfile.js

@@ -58,12 +58,14 @@ function copyBinaryFiles(source, destination) {
 function copy_files_for_browser(browser, manifest) {
   return parallel(
     // Pour les fichiers non-image
-    () => src(["extension/**", "!extension/manifest.*", "!extension/**/*.{png,jpg,jpeg,gif,svg,ico}"])
+    () => src(["extension/**", "!extension/manifest.*", "!extension/**/*.{png,jpg,jpeg,gif,svg,ico}", "!extension/ui/**", "!extension/xtense.html"])
       .pipe(dest(`release/${browser}`)),
     // Copie directe des fichiers binaires
     copyBinaryFiles("extension/**/*.{png,jpg,jpeg,gif,svg,ico}", `release/${browser}`),
     // Pour le manifest
-    () => src(manifest).pipe(rename('manifest.json')).pipe(dest(`release/${browser}`))
+    () => src(manifest).pipe(rename('manifest.json')).pipe(dest(`release/${browser}`)),
+    // Pour la page html
+    () => src([`extension/ui/${browser}/*.html`]).pipe(dest(`release/${browser}`))
   );
 }