--- a/GNUmakefile	Tue Mar 09 14:36:46 2021 +0100
+++ b/GNUmakefile	Tue Mar 09 13:59:45 2021 +0100
@@ -105,6 +105,10 @@
 	@echo $$(sed -n '/^\tlocal exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
 	shellcheck configure
 
+util/%.lua: teal-src/util/%.tl
+	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
+	-lua-format -i $@
+
 util/%.so:
 	$(MAKE) install -C util-src