From 8c5a794cc86270f89ab789c4d717c3e755f00b82 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 23 Nov 2016 01:29:34 +0100
Subject: update configure/makefile

---
 gulpfile.js | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'gulpfile.js')

diff --git a/gulpfile.js b/gulpfile.js
index 781929c11..62a4c0876 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -66,12 +66,17 @@ const paths = {
         "src/**/*-test*.ts",
     ],
   },
+  // distributed in the chrome extension
   dist: [
     "img/icon.png",
     "img/logo.png",
     "src/**/*.{js,css,html}",
+    "testlib/**/*.{js,ts,tsx,html}",
   ],
+  // for the source distribution
   extra: [
+      "scripts/prove-node",
+      "scripts/prove-selenium",
       "src/i18n/*.po",
       "src/i18n/*.pot",
       "decl/**/*.d.ts",
-- 
cgit v1.2.3