added push_local.cmd for testing on Windows

kopia · Mar 26, 2023 · 15cb257 · 15cb257
1 parent 12f0019
commit 15cb257
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/push_local.cmd 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%