From f5edf9f81f9cf91721b1e7380a20793c8c35cb09 Mon Sep 17 00:00:00 2001 From: alex-s168 Date: Fri, 25 Jul 2025 23:04:44 +0200 Subject: [PATCH] c --- config.py | 3 ++- coffee/gen_js.py => gen_coffee_js.py | 4 ++-- simple-page-layout.typ | 2 ++ 3 files changed, 6 insertions(+), 3 deletions(-) rename coffee/gen_js.py => gen_coffee_js.py (91%) diff --git a/config.py b/config.py index 6d409fb..c047a67 100644 --- a/config.py +++ b/config.py @@ -54,7 +54,7 @@ rule minhtml build build.ninja: regen | config.py build/badges.txt res pages -build build/deploy/coffee.js : python_capture coffee/gen_js.py +build build/deploy/coffee.js : python_capture gen_coffee_js.py rule cargo_release_bin command = (cd $in && cargo build --release) && cp $in/target/release/$file $out @@ -64,6 +64,7 @@ build build/coffee_server : cargo_release_bin coffee file = coffee """ +web_targets.append("build/deploy/coffee.js") web_targets.append("build/coffee_server") pages = [x for x in os.listdir("./pages/")] diff --git a/coffee/gen_js.py b/gen_coffee_js.py similarity index 91% rename from coffee/gen_js.py rename to gen_coffee_js.py index 3b57501..36f1419 100644 --- a/coffee/gen_js.py +++ b/gen_coffee_js.py @@ -17,14 +17,14 @@ const tz = Intl.DateTimeFormat().resolvedOptions().timeZone; if(tz==null) return null; const c=\""""+out+"""\".split("|"); for(let i=0;i