Remove the list of frontend resources from build.py

diff --git a/build.py b/build.py
index dc1511aa0b8817483fb10e638f54da071593f02c..f22aae614f010c0f8094f61be9ec99b519aec8ab 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -36,12 +36,6 @@ SOURCES_FE = [
   'file.js',
   'main.js',
 ]
-RESOURCES_FE = [
-  'index.html',
-  'screen.css',
-  'mobile.css',
-  'reset.css'
-]
 PRODUCT_NAME = 'armadillo'
 
 # The Golang version (hg id).