From e5db80c2c69f3e18a5539167c5f4bd16fa0d2261 Mon Sep 17 00:00:00 2001
From: Pierre HUBERT <pierre.git@communiquons.org>
Date: Fri, 8 May 2020 11:08:53 +0200
Subject: [PATCH] Add clippy.js to builds

---
 builder | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/builder b/builder
index 5e81dd2d..09c665af 100755
--- a/builder
+++ b/builder
@@ -268,6 +268,9 @@ rcopy($path_debug_assets."css/dark_theme.css", $path_release_assets."css/dark_th
 //Copy pacman
 rcopy($path_debug_assets."3rdparty/pacman", $path_release_assets."3rdparty/pacman");
 
+//Copy clippy.js
+rcopy($path_debug_assets."3rdparty/clippy.js", $path_release_assets."3rdparty/clippy.js");
+
 
 //Build and copy personnal data navigator
 notice("Build personnal data export navigator and add it to built files");