html: keep the inlined html during build

diff --git a/html/gulpfile.js b/html/gulpfile.js
index d3ea1ad5f40b125f07c7f35243ec9fa6800b5cf6..48237c9eaa89819bed9a51a71b9e3825a501b518 100644 (file)
--- a/html/gulpfile.js
+++ b/html/gulpfile.js
@@ -1,4 +1,4 @@
-const { src, dest, task } = require("gulp");
+const { src, dest, task, series } = require("gulp");
 const clean = require('gulp-clean');
 const gzip = require('gulp-gzip');
 const inlineSource = require('gulp-inline-source');
@@ -33,13 +33,19 @@ const genHeader = (size, buf, len) => {
 let fileSize = 0;
 
 task('clean', () => {
-    return src('dist', {read: false, allowEmpty: true})
+    return src('dist', { read: false, allowEmpty: true })
         .pipe(clean());
 });
 
-task('default', () => {
+task('inline', () => {
     return src('dist/index.html')
         .pipe(inlineSource())
+        .pipe(rename("inline.html"))
+        .pipe(dest('dist/'));
+});
+
+task('default', series('inline', () => {
+    return src('dist/inline.html')
         .pipe(through2.obj((file, enc, cb) => {
             fileSize = file.contents.length;
             return cb(null, file);
@@ -52,4 +58,5 @@ task('default', () => {
         }))
         .pipe(rename("html.h"))
         .pipe(dest('../src/'));
-});
+}));
+

diff --git a/html/package.json b/html/package.json
index 7593fb2797ea2e6fde79f03194d749e7d066738e..ed21bcc3cd242988e86c3435570f3446d737f043 100644 (file)
--- a/html/package.json
+++ b/html/package.json
@@ -13,6 +13,7 @@
     "prestart": "gulp clean",
     "start": "webpack serve",
     "build": "NODE_ENV=production webpack && gulp",
+    "inline": "NODE_ENV=production webpack && gulp inline",
     "check": "gts check",
     "fix": "gts fix"
   },