Splice defs.txt into joy.py to make "joy" script.

2023-02-14 09:52:01 -08:00
parent ae77bbda24
commit 25c48e059b
2 changed files with 13 additions and 214 deletions
@@ -0,0 +1,8 @@
+
+joy: joy.py ../defs.txt
+	split -p \'\'\'\.splitlines\(\) joy.py joy.py.
+	cat joy.py.aa ../defs.txt joy.py.ab > joy
+	chmod u+x joy
+
+clean:
+	$(RM) -fv joy joy.py.*