# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1746744520 -7200
# Node ID 1ff24220fa2cbd3c21cb9e7d5da60378ce8c811b
# Parent  f138b8a754683d265647b774899797d2527d2db1
make: Inject comment explaining where Teal-generated files come from

diff -r f138b8a75468 -r 1ff24220fa2c GNUmakefile
--- a/GNUmakefile	Fri May 09 00:48:00 2025 +0200
+++ b/GNUmakefile	Fri May 09 00:48:40 2025 +0200
@@ -142,6 +142,7 @@
 %.lua: %.tl
 	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
 	-lua-format -i --no-keep-simple-control-block-one-line --no-keep-simple-function-one-line $@
+	sed -i "1i-- This file is generated from $<" $@
 
 teal: util/jsonschema.lua util/datamapper.lua util/jsonpointer.lua