Tune build system of HTML tool

dbb5a3a0 · Stephane Glondu · 038a6a4b · dbb5a3a0 · dbb5a3a0 · dbb5a3a0
Commit dbb5a3a0 authored Jun 17, 2014 by Stephane Glondu
--- a/all.itarget
+++ b/all.itarget
 minimal.otarget
 src/lib/lib.cma
 src/web/server.cma
-src/tool/tool_js.js
-src/tool/belenios_tool.html
-src/tool/sjcl.js
-src/tool/jsbn.js
-src/tool/jsbn2.js
+src/tool/belenios-tool.html.otarget
--- a/src/tool/belenios_tool.html
+++ b/src/tool/belenios_tool.html
--- a/src/tool/belenios-tool.html.itarget
+++ b/src/tool/belenios-tool.html.itarget
+sjcl.js
+jsbn.js
+jsbn2.js
+tool_js.js
+belenios-tool.html