commit e7937f79a3ba9d586a31435f7570cb0f01827a69
parent d7c50e81c1dff86ef34ee25d826907def2962ca9
Author: Yuval Langer <yuvallangerontheroad@gmail.com>
Date: Mon, 23 Oct 2023 08:45:41 +0300
Add gitignore and make Makefile upload aware of HTML.
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -15,8 +15,7 @@ pages/main.js: main.scm
upload: pages/main.js $(spock_runtime)
git checkout pages
cp pages/* .
- git add *js
+ git add *js *html
git commit -m f
git push
- rm *js
git checkout master