Add makefile to move scripts to their place.

11 months ago · 2d10e88fa2
4 changed files with 11 additions and 0 deletions
--- a/.editorconfig
+++ b/.editorconfig
@ -14,3 +14,6 @@ trim_trailing_whitespace = true

 [*.py]
 indent_style = tab
+
+[makefile]
+indent_style = tab
--- a/8
+++ b/8
@ -0,0 +1,8 @@
+# make tasks not depend on existing output files
+.PHONY: *
+
+build:
+	tools/build
+
+deploy:
+	tools/deploy
--- a/tools/build
+++ b/tools/build
--- a/tools/deploy
+++ b/tools/deploy