diff --git a/.eslintignore b/.eslintignore
index 7ad7ad68a..40173021d 100644
--- a/.eslintignore
+++ b/.eslintignore
@@ -1,4 +1,4 @@
-js/espruinotools.js
+lib/espruinotools.js
 lib/imageconverter.js
 lib/qrcode.min.js
 lib/heatshrink.js
diff --git a/index.html b/index.html
index f3ca261b5..af68a6d45 100644
--- a/index.html
+++ b/index.html
@@ -179,7 +179,7 @@
     <script src="js/comms.js"></script>
     <script src="js/appinfo.js"></script>
     <script src="js/index.js"></script>
-    <script src="js/espruinotools.js"></script>
+    <script src="lib/espruinotools.js"></script>
     <script src="lib/heatshrink.js"></script>
     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <script src="js/pwa.js" defer></script>
diff --git a/js/espruinotools.js b/lib/espruinotools.js
similarity index 100%
rename from js/espruinotools.js
rename to lib/espruinotools.js