From 15cb25790223a591119b6de2b031d6c986c82fb0 Mon Sep 17 00:00:00 2001
From: Jarek Kowalski <jaak@jkowalski.net>
Date: Sun, 26 Mar 2023 11:35:53 -0700
Subject: [PATCH] added push_local.cmd for testing on Windows

---
 push_local.cmd | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 push_local.cmd

diff --git a/push_local.cmd b/push_local.cmd
new file mode 100644
index 0000000..cdfacff
--- /dev/null
+++ b/push_local.cmd
@@ -0,0 +1,4 @@
+set build_dir=%~dp0..\htmluibuild\build\
+rd /s /q %build_dir%
+md %build_dir%
+xcopy /e %~dp0build\ %build_dir%
\ No newline at end of file