Sigh

pvdz · Jul 28, 2024 · 2fdee71 · 2fdee71
1 parent 9c231d6
commit 2fdee71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/web.html b/src/web.html
@@ -287,7 +287,7 @@
   <script type="module" id="$startupCode">
     window.global = {};
     // import * as Tenko from '../node_modules/tenko/build/tenko.prod.mjs'; // works but github pages wont install npm packages first...
-    import * as Tenko from './lib/tenko.prod.mjs'
+    import * as Tenko from '../lib/tenko.prod.mjs'
     import {TenkoError} from './error_tenko.mjs';
     import {preval, helpers} from './index.mjs';
     //import * as lint from '../src/lint.mjs';