batch-runner.js: move generated SQL files into ./sql and start adding hand-written ones (like the Mandelbrot) to that set.

FossilOrigin-Name: 06c106a7d23e4486dbed092757b7588688226ad35539ecc31378a8497f59d1ec

1 files changed, 2 insertions, 1 deletions

diff --git a/ext/wasm/batch-runner.js b/ext/wasm/batch-runner.js
index 0f5406f90..71171c323 100644
--- a/ext/wasm/batch-runner.js
+++ b/ext/wasm/batch-runner.js
@@ -119,7 +119,8 @@
       list.forEach(function(fn){
         if(!fn) return;
         opt = document.createElement('option');
-        opt.value = opt.innerText = fn;
+        opt.value = fn;
+        opt.innerText = fn.split('/').pop();
         sel.appendChild(opt);
       });
       this.logHtml("Loaded",infile);