Regularize defs.txt.

All three main interpreters use the same defs.txt file.
2023-02-14 10:23:23 -08:00
parent 2700ab8a7f
commit 5ce30d41c3
5 changed files with 11 additions and 8 deletions
@@ -16,6 +16,9 @@ joy: ${OBJS} $(STATIC_GCLIB)

 joy.o: joy.h definitions.h

+defs.txt: ../defs.txt
+	cp -fv ../defs.txt defs.txt
+
 definitions.c: defs.txt convert_defs.py
 	python convert_defs.py > $@